3911 search results - page 650 / 783 » Using Operational Architecture to Model Embedded Software |
158
click to vote
FSTTCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
128
click to vote
WSC
2007
15 years 7 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...
150
click to vote
SENSYS
2009
ACM
15 years 12 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
191
click to vote
WACV
2012
IEEE
14 years 20 days ago
2012
IEEE
The growing ubiquity of cameras in hand-held devices and the prevalence of electronic displays in signage creates a novel framework for wireless communications. Traditionally, the...
152
click to vote
WSC
1997
15 years 6 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...