1099 search results - page 170 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
157
Voted
FDL
2005
IEEE
15 years 11 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...
146
Voted
DAC
2003
ACM
16 years 7 months 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...
172
Voted
ISEUD
2009
Springer
16 years 21 days 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...
163
Voted
SIMUTOOLS
2008
15 years 7 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...
161
Voted
SAC
2000
ACM
15 years 10 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...