1541 search results - page 263 / 309 » Tools and Techniques for Model Checking Networked Programs |
133
click to vote
OOPSLA
2004
Springer
15 years 5 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...
109
click to vote
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
PEPM
2004
ACM
15 years 5 months ago
2004
ACM
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model. However, contrarily to the object crystal-box mod...
104
Voted
FSTTCS
2003
Springer
15 years 5 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
112
click to vote
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...