Sciweavers

48 search results - page 4 / 10
» A case-driven methodology for applying the MNM service model
Sort
View
AOSE
2007
Springer
14 years 2 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
DATE
2004
IEEE
97views Hardware» more  DATE 2004»
14 years 9 days ago
A Formal Verification Methodology for Checking Data Integrity
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
Yasushi Umezawa, Takeshi Shimizu
MBEES
2007
13 years 10 months ago
Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
Vina Ermagan, To-ju Huang, Ingolf H. Krüger, ...
TITB
2008
110views more  TITB 2008»
13 years 8 months ago
Context-Sensitive Correlation of Implicitly Related Data: An Episode Creation Methodology
Episode creation is the task of classifying medical events and related clinical data to high-level concepts, such as diseases. Challenges in episode creation result in part because...
Roderick Y. Son, Ricky K. Taira, Hooshang Kangarlo...
SOCA
2010
IEEE
13 years 6 months ago
Virtualised e-Learning with real-time guarantees on the IRMOS platform
In this paper we focus on how Quality of Service guarantees are provided to virtualised applications in the Cloud Computing infrastructure that is being developed in the context of...
Tommaso Cucinotta, Fabio Checconi, Zlatko Zlatev, ...