2661 search results - page 474 / 533 » Model Checking Performability Properties |
ICDIM
2006
IEEE
14 years 4 months ago
2006
IEEE
— We present three general approaches to detecting prototypical entities in a given taxonomy and apply them to a music information retrieval (MIR) problem. More precisely, we try...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— We present in this work a new mechanism based on an innovative hybrid approach for traffic and collision control in wireless ad hoc networks. We combine the well known equatio...
PRDC
2006
IEEE
14 years 4 months ago
2006
IEEE
On-time data management is becoming a key difficulty faced by the information infrastructure of most organizations. In fact, database applications for critical areas are increasing...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
CAMP
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...