Sciweavers

489 search results - page 54 / 98
» Guiding Spin Simulation
Sort
View
ATAL
2006
Springer
13 years 11 months ago
Programming modular robots with the TOTA middleware
Modular robots represent a perfect application scenario for multiagent coordination. The autonomous modules composing the robot must coordinate their respective activities to enfor...
Marco Mamei, Franco Zambonelli
ECOWS
2008
Springer
13 years 9 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
FIW
1998
104views Communications» more  FIW 1998»
13 years 9 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner
DEXA
2010
Springer
186views Database» more  DEXA 2010»
13 years 8 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...
JCM
2006
79views more  JCM 2006»
13 years 7 months ago
Multi-Service: A Service Aware Routing Protocol for the Next Generation Internet
Quality of Service support plays a major role in the Next Generation Internet. QoS routing protocols must cope with service differentiation to enhance this support. This paper prop...
António Varela, Teresa Vazão, Guilhe...