3828 search results - page 299 / 766 » Proof-Based System Engineering Using a Virtual System Model |
203
click to vote
TES
2001
Springer
15 years 11 months ago
2001
Springer
Current developments show that tomorrow’s information systems and applications will no longer be based on monolithic architectures that encompass all the functionality. Rather, t...
196
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
171
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
186
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
The behavior of an agent is defined through the specification of plans and actions. Agents have a set of plans that are selected to be executed according to their goals (and other...
204
click to vote
ECBS
2007
IEEE
15 years 8 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...