2468 search results - page 363 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
Models of simulation program with integrated circuit emphasis (SPICE) are currently playing a central role in the connection between circuit design and chip fabrication communitie...
268
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
200
Voted
IHI
2012
13 years 11 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
109
Voted
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
When specifying pointcuts, i.e. join point selections, in AspectOriented Software Development, developers have in different situations different conceptual models in mind. Aspect-...
153
Voted
IUI
2003
ACM
15 years 9 months ago
2003
ACM
An emerging approach to multi-device application development developers to build an abstract semantic model that is translated into specific implementations for web browsers, PDAs...