1728 search results - page 152 / 346 » Formal Modeling of Process Migration |
109
click to vote
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...
WSC
1998
15 years 4 months ago
1998
The development of a discrete-event simulation tool, called GMSim, based on the generalized semi-Markov process (GSMP) formalism is described. The GSMP representation comprises bo...
146
click to vote
ASWSD
2004
Springer
15 years 8 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
147
click to vote
EJC
2000
15 years 4 months ago
2000
Even if a problem solving method and a domain ontology has been identified, there still remains the problem of adding sufficient and consistent domain knowledge to a knowledge proc...
131
click to vote
IEEEICCI
2006
IEEE
15 years 9 months ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...