1728 search results - page 80 / 346 » Formal Modeling of Process Migration |
ERCIMDL
2005
Springer
15 years 4 months ago
2005
Springer
One of the objectives of the Open Access movement is to establish institutional repositories at universities and other research institutions in order to support self-archiving. Alt...
112
click to vote
ICCPOL
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. For casual web users, a natural language is more accessible than formal query languages. However, understanding of a natural language query is not trivial for computer sy...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...
87
Voted
DFG
2003
Springer
15 years 4 months ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
119
click to vote
DFKI
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...