2836 search results - page 363 / 568 » Model Checking for Software Architectures |
172
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
This paper presents the modeling of embedded systems with SimBed, an execution-driven simulation testbed that measures the execution behavior and power consumption of embedded app...
181
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
UNICORE (Uniform Interface to Computer Resources) is a software infrastructure supporting seamless and secure access to distributed resources. UNICORE allows uniform access to dif...
191
Voted
CASES
2006
ACM
16 years 20 days ago
2006
ACM
Rising interest in the applications of wireless sensor networks has spurred research in the development of computing systems for lowthroughput, energy-constrained applications. Un...
180
click to vote
SACMAT
2005
ACM
16 years 7 days ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
213
click to vote
EMSOFT
2007
Springer
16 years 26 days ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...