10159 search results - page 639 / 2032 » System Design Validation Using Formal Models |
188
click to vote
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
Web services and service-oriented architecture (SOA) have become the de facto standard for designing distributed and loosely coupled applications. Many servicebased applications de...
205
click to vote
TACAS
2004
Springer
16 years 17 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
191
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
183
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, the path following problem of an omnidirectional mobile robot has been studied. Given the error dynamic model derived from the robot state vector and the path st...
207
click to vote
MABS
2005
Springer
16 years 22 days ago
2005
Springer
When developping multi-agent systems (MAS) or models in the context of agent-based simulation (ABS), the tuning of the model constitutes a crucial step of the design process. Inde...