3522 search results - page 179 / 705 » Modeling and Aspect Weaving |
135
click to vote
SAFECOMP
1998
Springer
15 years 5 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
DSVIS
2006
Springer
15 years 4 months ago
2006
Springer
We formally specify the interpretation stage in a dual state space human-computer interaction cycle. This is done by extending / reorganising our previous cognitive architecture. I...
97
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
130
click to vote
EDUTAINMENT
2008
Springer
15 years 2 months ago
2008
Springer
There is a trend in Virtual Learning Environments (VLE) towards flexible and adapted learning experiences that modify their contents and behavior to suit the needs of different lea...
107
click to vote
APCCM
2010
15 years 2 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...