Sciweavers

7835 search results - page 1181 / 1567
» Software are Processes Too
Sort
View
GCC
2004
Springer
16 years 7 days ago
Agent-Based Resource Selection for Grid Computing
Agent technology is critical in providing solutions to grid computing, including resource selection. Traditionally, agent deliberation offers a deductive process whose deliberation...
Song Shen, Gregory M. P. O'Hare
ICFEM
2004
Springer
16 years 7 days ago
A General Model for Reachability Testing of Concurrent Programs
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
Richard H. Carver, Yu Lei
IEAAIE
2004
Springer
16 years 6 days ago
Natural Language Requirements Analysis and Class Model Generation Using UCDA
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
Dong Liu, Kalaivani Subramaniam, Armin Eberlein, B...
POLICY
2004
Springer
16 years 6 days ago
A Decentralized Treatment of a Highly Distributed Chinese-Wall Policy
Access control (AC) technology has come a long way from its roots as the means for sharing resources between processes running on a single machine, to a mechanism for regulating t...
Naftaly H. Minsky
158
Voted
TES
2004
Springer
16 years 6 days ago
Robust Web Services via Interaction Contracts
Web services represent the latest effort of the information technology industry to provide a framework for cross enterprise automation. One principal characteristic of this framewo...
David B. Lomet
« Prev « First page 1181 / 1567 Last » Next »