10159 search results - page 376 / 2032 » System Design Validation Using Formal Models |
133
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Privacy-Preserving Authentication (PPA) is crucial for Radio Frequency Identifcation (RFID)-enabled applications. Without appropriate formal privacy models, it is difficult for...
253
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
144
click to vote
CADUI
2004
15 years 5 months ago
2004
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...
127
click to vote
WSC
2008
15 years 6 months ago
2008
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...
132
click to vote
INFSOF
2006
15 years 4 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...