955 search results - page 57 / 191 » Semantic Approach to Dynamic Coordination in Autonomous Syst... |
258
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
The development of new services through the integration of existing ones has gained a considerable momentum as a means to create and streamline business-to-business collaborations...
154
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
146
Voted
CDC
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract-- This paper presents a new algorithm for maximizing the flight duration of a single UAV (Uninhabited Air Vehicle) and UAVs group using the thermal model developed by Alle...
182
click to vote
EDOC
2008
IEEE
16 years 1 days ago
2008
IEEE
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
155
click to vote
WICSA
2004
15 years 7 months ago
2004
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...