Sciweavers

4930 search results - page 317 / 986
» Testing a Safety-Critical Application
Sort
View
193
Voted
WORDS
2005
IEEE
16 years 8 days ago
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
ATAL
2005
Springer
16 years 8 days ago
Agent-oriented context-aware platforms supporting communities of practice in health care
This paper presents and discusses the use of an agent-oriented context-aware platform to support communities of practice (CoPs) in the health care domain. Our work is based on a s...
Luiz Olavo Bonino da Silva Santos, Renata S. S. Gu...
ICIAR
2005
Springer
16 years 7 days ago
A Steganographic Method for Digital Images Robust to RS Steganalysis
Digital images are increasingly being used as steganographic covers for secret communication. The Least Significant Bit (LSB) encoding is one of the most widely used methods for e...
André R. S. Marçal, Patricia R. Pere...
160
Voted
WETICE
2003
IEEE
15 years 12 months ago
A Network Worm Vaccine Architecture
The ability of worms to spread at rates that effectively preclude human-directed reaction has elevated them to a first-class security threat to distributed systems. We present th...
Stelios Sidiroglou, Angelos D. Keromytis
DATE
1999
IEEE
127views Hardware» more  DATE 1999»
15 years 11 months ago
Minimizing Sensitivity to Delay Variations in High-Performance Synchronous Circuits
This paper investigates retiming and clock skew scheduling for improving the tolerance of synchronous circuits to delay variations. It is shown that when both long and short paths...
Xun Liu, Marios C. Papaefthymiou, Eby G. Friedman