Sciweavers

2171 search results - page 288 / 435
» A Generic Process Algebra
Sort
View
IAT
2007
IEEE
15 years 10 months ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...
B
2007
Springer
15 years 10 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
CONTEXT
2007
Springer
15 years 10 months ago
Similarity Measurement in Context
Context plays a crucial role when measuring the similarity of two concepts. Nonetheless, the modelling of context has been mostly neglected in existing similarity measurement theor...
Carsten Keßler
ER
2007
Springer
141views Database» more  ER 2007»
15 years 10 months ago
Ontology-Driven Business Modelling: Improving the Conceptual Representation of the REA Ontology
Business modelling research is increasingly interested in exploring how domain ontologies can be used as reference models for business models. The Resource Event Agent (REA) ontolo...
Frederik Gailly, Geert Poels
EUSAI
2007
Springer
15 years 10 months ago
Evaluating Confidence in Context for Context-Aware Security
We propose a software framework that augments context data with a range of assorted confidence/reputation metadata for dimensions such as security, privacy, safety, reliability, or...
Marc Lacoste, Gilles Privat, Fano Ramparany