3911 search results - page 284 / 783 » Using Operational Architecture to Model Embedded Software |
200
click to vote
CBSE
2004
Springer
16 years 2 days ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
170
click to vote
AUSAI
2005
Springer
16 years 4 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
166
Voted
CHI
2006
ACM
16 years 7 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...
166
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
187
click to vote
TOG
2008
15 years 6 months ago
2008
We present an interactive system for generating photorealistic, textured, piecewise-planar 3D models of architectural structures and urban scenes from unordered sets of photograph...