4211 search results - page 111 / 843 » A formal approach to MASQ |
124
Voted
IADIS
2004
15 years 2 months ago
2004
The main objective of the CONNECT project is to develop an innovative pedagogical framework that attempts to blend formal and informal learning, proposing an educational reform to ...
101
click to vote
CJ
2006
15 years 24 days ago
2006
Operations on spatial objects have much individuality. As a consequence, the spatial data modelling approaches, which have been proposed, have to consider either data types of the...
ENTCS
2007
15 years 21 days ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
100
click to vote
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
118
click to vote
ESORICS
2002
Springer
16 years 10 days ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...