630 search results - page 117 / 126 » Stateful Aspects in JAsCo |
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...
SC
2004
ACM
14 years 29 days ago
2004
ACM
: Legend says that Archimedes remarked, on the discovery of the lever, “Give me a place to stand, and I can move the world.” Today, computing pervades all aspects of science an...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
RECOMB
2005
Springer
14 years 7 months ago
2005
Springer
We present a novel computational method, MultiBind, for recognition of binding patterns common to a set of protein structures. It is the first method which performs a multiple alig...
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Emulab is a testbed for networked and distributed systems experimentation. Two guiding principles of its design are realism and control of experimentation. There is an inherent te...