 [2010-1-5]NetTube: Exploring Social Networks for Peer-to-Peer Short Video Sharing
|
2010-01-04 |
| [12-30]Engineering/Cyber-Physical systems
|
2009-12-30 |
| [12-22]Energy and Time Constrained Task Scheduling on Multiprocessor Computers with Variable Voltage and Speed
|
2009-12-16 |
| [12-18]A Designated Confirmer Signature Scheme from Bilinear Maps
|
2009-12-16 |
| [12-10]Software Debugging through Dynamic Analysis of Program Structures
|
2009-12-09 |
| [12-5]The 1st ISCAS-UQ Joint Workshop
|
2009-12-03 |
| [12-3]A Formal Model of Ontology for Handling Fuzzy Membership and Typicality of Instances
|
2009-12-01 |
| [11-30]On-the-Fly Model Checking of Security Protocols
|
2009-11-19 |
| [11-27]Logic, Graphs and Parameterized Complexity
|
2009-11-19 |
| [11-17]Three years of research at the MSR-INRIA Joint Centre
|
2009-11-13 |
| [11-16]Model-based tool-chain for the design and analysis of embedded hybrid systems
|
2009-11-13 |
| [10-29]Using Software Changes to Understand Software Projects
|
2009-10-28 |
| [10-27]Component-based Construction of Heterogeneous Real-time Systems in BIP
|
2009-10-20 |
| [10-16]Model Checking: My 28-year Quest to Overcome the State Explosion Problem
|
2009-10-12 |
| [10-15]Unifying Theories of Data Flow
|
2009-10-09 |
