Sciweavers

3377 search results - page 282 / 676
» Describing differences between databases
Sort
View
ISWC
2002
IEEE
15 years 9 months ago
Exploring the Dynamic Measurement of Position
This paper describes the development of several methods for the dynamic measurement of error distribution for positioning systems. When a user moves along a path at an unknown spe...
Cliff Randell, Henk L. Muller
IUI
1999
ACM
15 years 9 months ago
Planning and User Interface Affordances
This paper takes a first step toward formalizing the concept of affordance in user interfaces. Using a simple example of an AI planning domain, we show how different types of aff...
Robert St. Amant
ICDCS
1999
IEEE
15 years 8 months ago
Imprecise Calendars: an Approach to Scheduling Computational Grids
We describe imprecise calendars, a way to organize and schedule clusters of nodes in a computation grid. Imprecise calendars permit the easy and efficient sharing of resources bet...
Jeffrey K. Hollingsworth, Songrit Maneewongvatana
FDL
2007
IEEE
15 years 8 months ago
Transactor-based Formal Verification of Real-time Embedded Systems
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
Daniel Karlsson, Petru Eles, Zebo Peng
154
Voted
BPM
2006
Springer
144views Business» more  BPM 2006»
15 years 8 months ago
A Dynamic Workflow Management System for Coordination of Cooperative Activities
This paper comes back to the problem of coordination of cooperative activities with a Workflow management system. First, we describe the differences that we have noted between busi...
François Charoy, Adnene Guabtni, Miguel Val...