10159 search results - page 261 / 2032 » System Design Validation Using Formal Models |
141
click to vote
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
123
Voted
AIED
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
121
click to vote
COMPSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
136
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
138
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...