1121 search results - page 63 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
166
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
153
click to vote
ECTEL
2007
Springer
16 years 5 days ago
2007
Springer
The success of the e-learning paradigm observed in recent times created a growing demand for e-learning systems in universities and other educational institutions, that itself led ...
185
click to vote
NOSSDAV
2005
Springer
15 years 11 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
187
click to vote
AH
2008
Springer
16 years 11 days ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
184
click to vote
MICAI
2005
Springer
15 years 11 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...