Sciweavers

2583 search results - page 107 / 517
» Internet Messaging Frameworks
Sort
View
HPCN
2000
Springer
15 years 7 months ago
A Service-Based Agent Framework for Distributed Symbolic Computation
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten...
IADIS
2003
15 years 5 months ago
Moda-Ml, an Interoperability Framework for the Textile-Clothing Sector
The MODA-ML project aims to enhance the interoperability between enterprises in the Textile/Clothing sector defining a common interchange language based on a set of XML business c...
Nicola Gessa, Fabio Vitali, Guido Cucchiara, Piero...
125
Voted
DAIS
2009
15 years 4 months ago
D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais
FORMATS
2010
Springer
15 years 1 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
WETICE
2005
IEEE
15 years 9 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...