1888 search results - page 107 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
137
Voted
INTERACT
2003
15 years 4 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
131
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
121
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
120
click to vote
EDOC
2007
IEEE
15 years 9 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
120
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We describe our work in implementing a wide-area distributed file system for the NSF TeraGrid. The system, called XUFS, allows private distributed name spaces to be created for tr...