Sciweavers

15372 search results - page 2819 / 3075
» The Semantics of Semantic Annotation
Sort
View
JFP
2010
142views more  JFP 2010»
15 years 2 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
JIDM
2010
121views more  JIDM 2010»
15 years 2 months ago
Providing Multidimensional and Geographical Integration Based on a GDW and Metamodels
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
Robson do Nascimento Fidalgo, Valéria Ces&a...
JOT
2010
144views more  JOT 2010»
15 years 2 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
JOT
2010
108views more  JOT 2010»
15 years 2 months ago
Extending Scala with Database Query Capability
Abstract The integration of database and programming languages is difficult due to the different data models and type systems prevalent in each field. We present a solution wher...
Miguel Garcia, Anastasia Izmaylova, Sibylle Schupp
JTAER
2010
120views more  JTAER 2010»
15 years 2 months ago
Trust and Distrust in Adaptive Inter-enterprise Collaboration Management
The success and competitive edge of enterprises has become increasingly dependent on the enterprises’ agility to become members in business networks that support their own busin...
Sini Ruohomaa, Lea Kutvonen
« Prev « First page 2819 / 3075 Last » Next »