2607 search results - page 20 / 522 » On the Architecture of System Verification Environments |
EJC
2007
13 years 8 months ago
2007
This paper presents an information system architecture for the 7C model for organizational knowledge creation and management. The architecture is derived from the requirements that...
VC
2008
13 years 7 months ago
2008
This paper describes a system architecture, which enables the automatic semantic annotation and adaptation of multimedia content in context-aware content sharing environments. The ...
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
WORDS
2002
IEEE
14 years 8 days ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
JCDL
2003
ACM
14 years 18 days ago
2003
ACM
The user interface and system architecture of a novel Interactive Shared Educational Environment (ISEE) are presented. Based on a lightweight infrastructure, ISEE enables relative...