Sciweavers

14782 search results - page 206 / 2957
» Activities in Object Bases
Sort
View
ICLP
2005
Springer
16 years 20 days ago
A Distributed and Probabilistic Concurrent Constraint Programming Language
We present a version of the CCP paradigm, which is both distributed and probabilistic. We consider networks with a fixed number of nodes, each of them possessing a local and indep...
Luca Bortolussi, Herbert Wiklicky
IICS
2005
Springer
16 years 20 days ago
Compositional Constraints Generation for Concurrent Real-Time Loops with Interdependent Iterations
Abstract. In this paper we describe an assume/guarantee based execution constraints synthesis algorithm for concurrent threads executing on parallel platforms. Threads are loops wh...
Ismail Assayad, Sergio Yovine
SAC
2000
ACM
15 years 11 months ago
A Synchronization Model for Hypermedia Documents Navigation
This paper presents a model for describing the synchronization between several media delivered over a network in a Web-based environment. Synchronization concerns the download and...
Augusto Celentano, Ombretta Gaggi
ACSAC
2001
IEEE
15 years 10 months ago
Determining Privileges of Mobile Agents
This paper describes a method for controlling the behavior of mobile agent-system entities through the allocation of privileges. Privileges refer to policy rules that govern the a...
Wayne A. Jansen
BCSHCI
2009
15 years 8 months ago
A vision-based system for display interaction
This paper presents a system for interaction with a display via hand pointing, where a single CCD camera on top of the screen is directed towards the viewers. An attention mechani...
Björn Stenger, Thomas Woodley, Tae-Kyun Kim, ...