Sciweavers

5085 search results - page 472 / 1017
» Multidimensional Design by Examples
Sort
View
WDAG
2009
Springer
77views Algorithms» more  WDAG 2009»
16 years 2 months ago
Nonblocking Algorithms and Backward Simulation
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
Simon Doherty, Mark Moir
ICIDS
2009
Springer
16 years 2 months ago
Directorial Control in a Decision-Theoretic Framework for Interactive Narrative
Computer aided interactive narrative has received increasing attention in recent years. Automated directorial control that manages the development of the story in the face of user ...
Mei Si, Stacy C. Marsella, David V. Pynadath
PPDP
2009
Springer
16 years 2 months ago
The RPC calculus
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
Ezra Cooper, Philip Wadler
SOCO
2009
Springer
16 years 2 months ago
Lazy Composition of Representations in Java
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...
Rémi Douence, Xavier Lorca, Nicolas Loriant
TARK
2009
Springer
16 years 2 months ago
A computational theory of awareness and decision making
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
Nikhil R. Devanur, Lance Fortnow