899 search results - page 106 / 180 » A Temporal Language for SystemC |
126
click to vote
DALT
2009
Springer
15 years 5 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
LREC
2008
15 years 3 months ago
2008
This paper describes the creation of a bilingual corpus of inter-linked events for Italian and English. Linkage is accomplished through the Inter-Lingual Index (ILI) that links It...
114
click to vote
AIML
2006
15 years 2 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
107
click to vote
ECSCW
1993
15 years 2 months ago
1993
: Support for work practice is better conceptualised as support for activity taking place in a multidimensional space than as prescription of temporal task sequences. The notion of...
FUIN
2008
15 years 1 months ago
2008
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...