3256 search results - page 332 / 652 » Applications of Formal Methods to System Design and Verifica... |
176
click to vote
INFOCOM
2010
IEEE
15 years 5 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...
185
click to vote
AAAI
2011
14 years 6 months ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...
171
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
161
Voted
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
163
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....