Sciweavers

4311 search results - page 604 / 863
» Code Generation for Distributed Systems
Sort
View
FATES
2003
Springer
15 years 7 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
WETICE
2003
IEEE
15 years 7 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
ICDE
2007
IEEE
169views Database» more  ICDE 2007»
15 years 6 months ago
Semantic Web Services Composition: A Network Analysis Approach
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...
Gokay Burak Akkus
FOCS
2004
IEEE
15 years 6 months ago
Optimal Power-Down Strategies
We consider the problem of selecting threshold times to transition a device to low-power sleep states during an idle period. The two-state case in which there is a single active a...
John Augustine, Sandy Irani, Chaitanya Swamy
DAC
1995
ACM
15 years 5 months ago
The Case for Design Using the World Wide Web
— Most information and services required today by designers will soon become available as documents distributed in a wide area hypermedia network. New integration services are re...
Mário J. Silva, Randy H. Katz