1249 search results - page 199 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
ECMDAFA
2005
Springer
15 years 5 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
103
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
110
click to vote
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
- The effectiveness of stochastic power management relies on the accurate system and workload model and effective policy optimization. Workload modeling is a machine learning proce...
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
Topic tracking is complicated when the stories in the stream occur in multiple languages. Typically, researchers have trained only English topic models because the training storie...
116
click to vote
ICWS
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...