500 search results - page 45 / 100 » Coalgebraic semantics for timed processes |
RTAS
2009
IEEE
14 years 4 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
FTRTFT
1994
Springer
14 years 2 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
WIDM
2003
ACM
14 years 3 months ago
2003
ACM
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...
IJVR
2006
13 years 10 months ago
2006
In this article we propose an architecture for the inclusion and exploitation of semantic aspects in a CAD environment. Our schema focuses on the enhancement and improvement of a c...
LWA
2004
13 years 11 months ago
2004
In this paper we present a flexible assessment framework for eLearning based on semantic web technologies. The assessment techniques are formalized as reasoning rules. These rules...