Sciweavers

775 search results - page 96 / 155
» A Service-oriented Approach for the i* Framework
Sort
View
ICRA
2009
IEEE
161views Robotics» more  ICRA 2009»
14 years 3 months ago
Multi-vehicle path planning in dynamically changing environments
— In this paper, we propose a path planning method for nonholonomic multi-vehicle system in presence of moving obstacles. The objective is to find multiple fixed length paths f...
Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George...
KCAP
2009
ACM
14 years 3 months ago
Formally measuring agreement and disagreement in ontologies
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
Mathieu d'Aquin
ICDE
2007
IEEE
145views Database» more  ICDE 2007»
14 years 3 months ago
The Rigorous Implementation of a Fair Exchange Protocol for Non-repudiable Web Service Interactions - a case study
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
Nick Cook, Paul Robinson, Santosh K. Shrivastava
RAID
2007
Springer
14 years 2 months ago
Understanding Precision in Host Based Intrusion Detection
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
Monirul I. Sharif, Kapil Singh, Jonathon T. Giffin...
ER
2008
Springer
106views Database» more  ER 2008»
13 years 10 months ago
Towards a Compositional Semantic Account of Data Quality Attributes
We address the fundamental question: what does it mean for data in a database to be of high quality? We motivate our discussion with examples, where traditional views on data quali...
Lei Jiang, Alexander Borgida, John Mylopoulos