Sciweavers

9507 search results - page 413 / 1902
» Time-based language models
Sort
View
PADL
2011
Springer
14 years 9 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
247
Voted
POPL
2009
ACM
16 years 7 months ago
Modeling abstract types in modules with open existential types
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
Benoît Montagu, Didier Rémy
UM
2001
Springer
15 years 11 months ago
Enhancing Embodied Intelligent Agents with Affective User Modelling
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
Patrick Gebhard
ICALP
2000
Springer
15 years 10 months ago
Algebraic Models for Contextual Nets
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
Roberto Bruni, Vladimiro Sassone
UML
2000
Springer
15 years 10 months ago
Reconciling the Needs of Architectural Description with Object-Modeling Notations
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
David Garlan, Andrew Kompanek