10159 search results - page 674 / 2032 » System Design Validation Using Formal Models |
166
click to vote
WSC
2004
15 years 8 months ago
2004
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
276
Voted
WEBNET
2001
15 years 8 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
169
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— A critical assumption of many multi-view control systems is the initial visibility of the regions of interest from all the views. An initialization step is proposed for a hybri...
205
click to vote
OTM
2005
Springer
16 years 29 days ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
183
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...