Sciweavers

29172 search results - page 180 / 5835
» Modeling Systems in CLP
Sort
View
RTS
2010
90views more  RTS 2010»
13 years 8 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
14 years 2 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...
MODELS
2009
Springer
14 years 4 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
14 years 3 months ago
Evaluating Telemedicine Systems Success: A Revised Model
Broadly, telemedicine refers to the use of information and telecommunication technologies to distribute information and/or expertise necessary for healthcare service provision, co...
Paul Jen-Hwa Hu
IEAAIE
1995
Springer
14 years 1 months ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung