Sciweavers

3830 search results - page 564 / 766
» From Reference Model to Component Model
Sort
View
IC
2001
15 years 4 months ago
Design and Implementation of XML-Based Digital Video Library System
In this paper, we describe the design and implementation of an XML-Based Digital Video Library (XDVL) System. The system includes automatic processes from video creation through v...
Jacky C. K. Ma, Michael R. Lyu
JSS
2008
136views more  JSS 2008»
15 years 3 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
KES
2006
Springer
15 years 3 months ago
Intelligent Environment for Training of Power Systems Operators
Training of operators has become an important problem to be faced by power systems: updating knowledge and skills. An operator must comprehend the physical operation of the process...
Gustavo Arroyo-Figueroa, Yasmín Herná...
NAR
2006
82views more  NAR 2006»
15 years 3 months ago
The RCSB PDB information portal for structural genomics
10 The RCSB Protein Data Bank (PDB) offers online tools, summary reports and target information related to the worldwide structural genomics initiatives from its portal at http://...
Andrei Kouranov, Lei Xie, Joanna de la Cruz, Li Ch...
212
Voted
FASE
2011
Springer
14 years 6 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker