553 search results - page 77 / 111 » Phoenix Tool: A Support to Semantic Learning Model |
112
click to vote
ASWSD
2006
Springer
15 years 3 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
WER
1998
Springer
15 years 4 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
103
click to vote
ECMDAFA
2008
Springer
15 years 26 days ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
114
click to vote
AICT
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
105
click to vote
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...