Sciweavers

4166 search results - page 560 / 834
» Automating the constraining process
Sort
View
ER
2008
Springer
91views Database» more  ER 2008»
15 years 6 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
ESAW
2008
Springer
15 years 6 months ago
A Reverse Engineering Form for Multi Agent Systems
The IODA methodology allows automated construction of models from an ontology, consisting of generic interactions that we can assign to families of agents. Thanks to the measuremen...
François Gaillard, Yoann Kubera, Philippe M...
FC
2008
Springer
97views Cryptology» more  FC 2008»
15 years 6 months ago
OpenPGP-Based Financial Instruments and Dispute Arbitration
In this paper, we present some guidelines for implementing various financial instruments for the purposes of credit and payment, including protocols for commercial transactions, di...
Daniel A. Nagy, Nadzeya V. Shakel
CRIWG
2007
15 years 5 months ago
Coordinating Multi-task Environments Through the Methodology of Relations Graph
Abstract. This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation an...
Adailton José Alves Da Cruz, Léo Pin...
COLING
2008
15 years 5 months ago
Metaphor in Textual Entailment
Metaphor understanding in Computational Linguistics has largely been focused on the development of stand-alone prototypes for which only small-scale evaluations are carried out. T...
Rodrigo Agerri