1157 search results - page 117 / 232 » Descriptive Complexity and Model Checking |
AIEDU
2007
14 years 10 months ago
2007
Opening a model of the learner is a potentially complex operation. There are many aspects of the learner that can be modelled, and many of these aspects may need to be opened in di...
DAC
2003
ACM
15 years 3 months ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
ECBS
2005
IEEE
15 years 3 months ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
SERP
2003
14 years 11 months ago
2003
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...