1179 search results - page 103 / 236 » Relative Timing Based Verification of Timed Circuits and Sys... |
150
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
152
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
156
click to vote
KES
2008
Springer
15 years 2 months ago
2008
Springer
Privacy is one of the most important properties of an information system must satisfy. In which systems the need to share information among different, not trusted entities, the pro...
114
click to vote
SPATIALCOGNITION
1998
Springer
15 years 8 months ago
1998
Springer
In the course of acquiring knowledge about layouts and maps spatial information can undergo considerable changes and distortions, which systematically affect knowledge-based judgme...
139
Voted
KBS
2002
15 years 3 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...