Sciweavers

567 search results - page 94 / 114
» Play the Language: Play Coreference
Sort
View
JOT
2007
169views more  JOT 2007»
14 years 11 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
JSW
2007
119views more  JSW 2007»
14 years 11 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
PVLDB
2010
96views more  PVLDB 2010»
14 years 9 months ago
Scalable Data Exchange with Functional Dependencies
The recent literature has provided a solid theoretical foundation for the use of schema mappings in data-exchange applications. Following this formalization, new algorithms have b...
Bruno Marnette, Giansalvatore Mecca, Paolo Papotti
SEMWEB
2010
Springer
14 years 9 months ago
I18n of Semantic Web Applications
Recently, the use of semantic technologies has gained quite some traction. With increased use of these technologies, their maturation not only in terms of performance, robustness b...
Sören Auer, Matthias Weidl, Jens Lehmann, Amr...
108
Voted
ENTCS
2010
97views more  ENTCS 2010»
14 years 8 months ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli