1728 search results - page 197 / 346 » Formal Modeling of Process Migration |
153
click to vote
AOSE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
105
Voted
IFIP
1989
Springer
15 years 5 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
125
Voted
DILS
2005
Springer
15 years 6 months ago
2005
Springer
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
117
Voted
CP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
117
click to vote
APN
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...