2748 search results - page 516 / 550 » Generating Object-Z Specifications from Use Cases |
IEEEIAS
2009
IEEE
15 years 6 months ago
2009
IEEE
A computer worm is an autonomous malicious, selfreplicating and propagating piece of code that is able to spread fast in computer networks, exploiting the vulnerabilities it disco...
114
click to vote
SSDBM
2008
IEEE
15 years 6 months ago
2008
IEEE
Increasingly, many data sources appear as online databases, hidden behind query forms, thus forming what is referred to as the deep web. It is desirable to have systems that can pr...
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
One of the outcomes of DARPA’s HPCS program has been the creation of three new high productivity languages: Chapel, Fortress, and X10. While these languages have introduced impro...
128
click to vote
WECWIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...
107
click to vote
ICCS
2003
Springer
15 years 5 months ago
2003
Springer
This paper describes a monitoring tool for grid computing[5], called visPerf. It is difficult to see the status of a working production grid system without a customized monitorin...