7340 search results - page 399 / 1468 » The Behavior of Tutoring Systems |
189
click to vote
ICONS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a ...
193
click to vote
ECMDAFA
2007
Springer
16 years 29 days ago
2007
Springer
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
178
Voted
DEXAW
2005
IEEE
16 years 12 days ago
2005
IEEE
Today, management and tuning questions are approached using if...then... rules of thumb. This reactive approach requires expertise regarding of system behavior, making it difficu...
134
click to vote
HYBRID
2005
Springer
16 years 9 days ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
260
click to vote
FAABS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...