Sciweavers

2922 search results - page 310 / 585
» On Relationships Between Query Models
Sort
View
100
Voted
COSIT
2009
Springer
125views GIS» more  COSIT 2009»
15 years 4 months ago
Merging Qualitative Constraint Networks Defined on Different Qualitative Formalisms
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...
Jean-François Condotta, Souhila Kaci, Pierr...
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 4 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
127
Voted
COORDINATION
2006
Springer
15 years 4 months ago
Atomic Commit and Negotiation in Service Oriented Computing
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
Laura Bocchi, Roberto Lucchi
102
Voted
MASCOTS
2010
15 years 2 months ago
Predicting the Performance of Virtual Machine Migration
With the ability to move virtual machines between physical hosts, live migration is a core feature of virtualisation. However for migration to be useful, deployable feature on a la...
Sherif Akoush, Ripduman Sohan, Andrew Rice, Andrew...
82
Voted
IADIS
2004
15 years 2 months ago
Conceptualizing Student Learning Theory
The focus of this paper is on student learning theory. Use is made of an "analytic discovery tool" called Quantitative CyberQuest (QCQ) to help conceptualize the many go...
John Dickey, Richard Larkin