Sciweavers

603 search results - page 64 / 121
» Agilent's Key Technologies in Remote System Management
Sort
View
WAIM
2007
Springer
16 years 12 days ago
CoXML: A Cooperative XML Query Answering System
Abstract. The heterogeneity nature of XML data creates the need for approximate query answering. In this paper, we present an XML system that cooperates with users to provide user-...
Shaorong Liu, Wesley W. Chu
ETFA
2005
IEEE
15 years 12 months ago
Reuse of components in formal modeling and verification of distributed control systems
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
Valeriy Vyatkin, Hans-Michael Hanisch
ECTEL
2007
Springer
16 years 14 days ago
Learning Resource Referencing, Search and Aggregation at the eLearning System Level
TELOS is a new eLearning system being built within the Canadian LORNET project. TELOS aims to provide an open operating system in which users can develop and use eLearning and know...
Gilbert Paquette, François Magnan
EDOC
2006
IEEE
15 years 10 months ago
An Event-Driven Workflow Engine for Service-based Business Systems
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...
Julian Jang, Alan Fekete, Paul Greenfield, Surya N...
EUROSYS
2006
ACM
16 years 8 days ago
K42: building a complete operating system
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
Orran Krieger, Marc A. Auslander, Bryan S. Rosenbu...