1784 search results - page 235 / 357 » Formal Models for Embedded System Design |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...
108
click to vote
DAC
2006
ACM
14 years 12 months ago
2006
ACM
With the growing complexity in consumer embedded products and the improvements in process technology, Multi-Processor SystemOn-Chip (MPSoC) architectures have become widespread. T...
JUCS
2008
14 years 10 months ago
2008
: Currently, many models are used to capture functional software requirements. However, the Software Engineering community has faded interaction requirements into the background, d...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
CCGRID
2002
IEEE
15 years 3 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...