1980 search results - page 200 / 396 » Compositional Model Checking of Real Time Systems |
136
click to vote
IADIS
2003
15 years 4 months ago
2003
The primary business problem that a Learning Content Management System faces is to create just enough content, just in time, meeting the needs of different types of learners. A po...
118
click to vote
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
107
click to vote
ISCAS
2003
IEEE
15 years 8 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...
166
click to vote
SCP
1998
15 years 2 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
132
Voted
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...