Sciweavers

3812 search results - page 423 / 763
» Combinations of TRAP Based Systems
Sort
View
164
Voted
ICLP
2003
Springer
15 years 12 months ago
On Deterministic Computations in the Extended Andorra Model
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
Ricardo Lopes, Vítor Santos Costa, Fernando...
C5
2009
IEEE
15 years 12 months ago
Lively Fabrik
Lively Fabrik is a Web-based general-purpose end-user programming environment. Based on the Lively Kernel, Lively Fabrik extends the ideas of the original Fabrik system by empower...
Jens Lincke, Robert Krahn, Dan Ingalls, Robert Hir...
EUROSYS
2010
ACM
15 years 12 months ago
Self-tuning schedulers for legacy real-time applications
We present an approach for adaptive scheduling of soft realtime legacy applications (for which no timing information is exposed to the system). Our strategy is based on the combin...
Tommaso Cucinotta, Fabio Checconi, Luca Abeni, Lui...
CGI
2000
IEEE
15 years 11 months ago
Augmented Reality for Real and Virtual Humans
Current Virtual Reality technologies provide many ways to interact with Virtual Humans. Most of those techniques, however are limited to synthetic elements and require cumbersome ...
Selim Balcisoy, Remy Torre, Michal Ponder, Pascal ...
ISSTA
2000
ACM
15 years 11 months ago
OMEN: A strategy for testing object-oriented software
This paper presents a strategy for structural testing of objectoriented software systems with possibly unknown clients and unknown information about invoked methods. By exploiting...
Amie L. Souter, Lori L. Pollock