Sciweavers

2195 search results - page 177 / 439
» Prototyping Networked Embedded Systems
Sort
View
DSN
2000
IEEE
15 years 7 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
ICDCS
2008
IEEE
15 years 9 months ago
Scalable and Adaptive Metadata Management in Ultra Large-Scale File Systems
This paper presents a scalable and adaptive decentralized metadata lookup scheme for ultra large-scale file systems (≥ Petabytes or even Exabytes). Our scheme logically organiz...
Yu Hua, Yifeng Zhu, Hong Jiang, Dan Feng, Lei Tian
EGC
2005
Springer
15 years 8 months ago
High Throughput Computing for Spatial Information Processing (HIT-SIP) System on Grid Platform
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
Yong Xue, Yanguang Wang, Jianqin Wang, Ying Luo, Y...
133
Voted
AAI
2000
182views more  AAI 2000»
15 years 3 months ago
Implementing a Business Process Management System Using ADEPT: A Real-World Case Study
: This paper describes how ADEPT's agent-based design and implementation philosophy was used to prototype a business process management system for a real-world application. Th...
Nicholas R. Jennings, Peyman Faratin, Timothy J. N...
108
Voted
COMCOM
1998
78views more  COMCOM 1998»
15 years 3 months ago
The performance of SQL queries to an X.500 directory system
The X.500 standard speci es a distributed directory service designed to store information about people and objects associated with computer networks. Its API is geared toward retr...
David Barrowman, Patrick Martin