Sciweavers

1757 search results - page 162 / 352
» Integrating and Extending JCSP
Sort
View
ICECCS
2005
IEEE
108views Hardware» more  ICECCS 2005»
15 years 10 months ago
Evolving Messaging Systems for Secure Role Based Messaging
This paper articulates a system design for the secure role based messaging model built based on existing messaging systems, public key infrastructures, and a privilege management ...
Gansen Zhao, David W. Chadwick
ISORC
2005
IEEE
15 years 10 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
WORDS
2005
IEEE
15 years 10 months ago
Error Recovery for a Boiler System with OTS PID Controller
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
Tom Anderson, Mei Feng, Steve Riddle, Alexander Ro...
ADHOCNOW
2005
Springer
15 years 10 months ago
An Intelligent Sensor Network for Oceanographic Data Acquisition
In this paper we describe the deployment of an offshore wireless sensor network and the lightweight intelligence that was integrated into the data acquisition and forwarding softwa...
Chris M. Roadknight, Antonio González, Laur...
CAISE
2005
Springer
15 years 10 months ago
Ontology Management: a Case Study and Research Plans
We foresee that ontologies for interoperability are likely organized by a loosely linked network. In the case of digital libraries, the network is realized by a federation of ontol...
Jeroen Hoppenbrouwers, Manfred A. Jeusfeld, Hans W...