1099 search results - page 170 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
DAC
2003
ACM
16 years 24 days ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
104
click to vote
ISEUD
2009
Springer
15 years 6 months ago
2009
Springer
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
SIMUTOOLS
2008
15 years 1 months ago
2008
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
SAC
2000
ACM
15 years 4 months ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...