338 search results - page 44 / 68 » A Language for Task Orchestration and Its Semantic Propertie... |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
104
click to vote
FUIN
2006
14 years 10 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
— Our long-term objective is to develop robots that engage in natural language-mediated cooperative tasks with humans. To support this goal, we are developing an amodal represent...
ICECCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...