Sciweavers

682 search results - page 74 / 137
» Environment Matting and Compositing
Sort
View
RTCSA
1997
IEEE
13 years 12 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
MFCS
1994
Springer
13 years 11 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
CBSE
2006
Springer
13 years 11 months ago
Defining and Checking Deployment Contracts for Software Components
Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composi...
Kung-Kiu Lau, Vladyslav Ukis
USENIX
2000
13 years 9 months ago
Outwit: UNIX Tool-Based Programming Meets the Windows World
The ubiquity of Windows-based desktop environments has not been matched by a corresponding emergence of tools supporting the Unix tool composition paradigm. Outwit is a suite of t...
Diomidis Spinellis
ECAI
2010
Springer
13 years 8 months ago
Open-ended Grounded Semantics
Artificial agents trying to achieve communicative goals in situated interactions in the real-world need powerful computational systems for conceptualizing their environment. In ord...
Michael Spranger, Martin Loetzsch, Simon Pauw