12981 search results - page 2148 / 2597 » Model Checking (Abstract) |
230
click to vote
STORYTELLING
2005
Springer
16 years 5 days ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
205
click to vote
AIS
2004
Springer
16 years 3 days ago
2004
Springer
This project implements an integrated biological information website that classifies technical documents, learns about users' interests, and offers intuitive interactive visua...
187
click to vote
GECCO
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The need for supporting CSCW applications with heterogeneous and varying user requirements calls for adaptive and reconfigurable schedulers accommodating a mixture of re...
215
click to vote
MIDDLEWARE
2004
Springer
16 years 1 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
180
click to vote
ASM
2003
ASM
15 years 12 months ago
2003
ASM
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...