18769 search results - page 237 / 3754 » Requirements Models in Context |
197
click to vote
IPPS
2005
IEEE
16 years 25 days ago
2005
IEEE
The Space Weather Modeling Framework (SWMF) aims at providing software architecture for integrated modeling of different domains of Sun-Earth system and high-performance physics-b...
171
click to vote
BIRTHDAY
2005
Springer
16 years 23 days ago
2005
Springer
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
185
click to vote
POLICY
2005
Springer
16 years 21 days ago
2005
Springer
Natural language policies describe interactions between and across organizations, third-parties and individuals. However, current policy languages are limited in their ability to ...
212
click to vote
SIGSOFT
2003
ACM
16 years 14 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
214
click to vote
MCS
2006
Springer
15 years 7 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...