545 search results - page 13 / 109 » Concepts and models for typing events for event-based system... |
ECOOP
2003
Springer
14 years 1 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
JFP
2008
13 years 8 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
ECAL
2007
Springer
14 years 15 days ago
2007
Springer
odel of Embodiment on Abstract Systems: from Hierarchy to Heterarchy Kohei Nakajima, Soya Shinkai, Takashi Ikegami A Behavior-Based Model of the Hydra, Phylum Cnidaria Malin Aktius...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
This paper presents a new algorithm for sequence prediction over long categorical event streams. The input to the algorithm is a set of target event types whose occurrences we wis...
WSC
2008
13 years 11 months ago
2008
Lecturing a Discrete Event Simulation course implies some challenges for the instructors. These challenges implies taking decisions from the design of the course to the selection ...