Sciweavers

7529 search results - page 314 / 1506
» The Modula-3 Type System
Sort
View
QSIC
2007
IEEE
16 years 29 days ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
ERCIMDL
2007
Springer
115views Education» more  ERCIMDL 2007»
16 years 26 days ago
The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems
Using keyword search to find relevant objects in digital libraries often results in way too large result sets. Based on the metadata associated with such objects, the faceted sear...
Jörg Diederich, Wolf-Tilo Balke
HICSS
2006
IEEE
128views Biometrics» more  HICSS 2006»
16 years 22 days ago
Examining the Cognitive Style Effects on the Acceptance of Online Community Weblog Systems
Weblog is increasingly important over time with researchers anxious to learn why millions of Internet users are so eager to post their own diary on the web everyday. This study co...
Will Wai-Kit Ma, Pu Li, Theodore H. K. Clark
SELMAS
2005
Springer
16 years 5 days ago
Characterization and Evaluation of Multi-agent System Architectural Styles
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
Paul Davidsson, Stefan J. Johansson, Mikael Svahnb...
SAFECOMP
2004
Springer
16 years 1 days ago
Using Fuzzy Self-Organising Maps for Safety Critical Systems
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
Zeshan Kurd, Tim Kelly