4666 search results - page 237 / 934 » Equations on Timed Languages |
160
click to vote
ICWL
2010
Springer
15 years 4 months ago
2010
Springer
A Personal Learning Environment (PLE) is a mash-up of learning services. It enables students and teachers to assemble a work environment that is adapted to a domain and specific in...
146
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
Inferences about speech acts are often conditional, nonmonotonic, and involve the issue of time. Most agent communication languages, however, ignore these issues, due to the difï¬...
195
click to vote
QEST
2006
IEEE
16 years 20 days ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
185
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
188
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
At rst sight, real-time and asynchronous message passing like in SDL and ROOM seem to be incompatible. Indeed these languages fail to model real-time constraints accurately. In thi...