Sciweavers

9518 search results - page 1513 / 1904
» On Mobility of Software Processes
Sort
View
ICFEM
2004
Springer
16 years 6 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 5 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 5 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
ARITH
2003
IEEE
16 years 4 days ago
Decimal Floating-Point: Algorism for Computers
Decimal arithmetic is the norm in human calculations, and human-centric applications must use a decimal floating-point arithmetic to achieve the same results. Initial benchmarks i...
Michael F. Cowlishaw
« Prev « First page 1513 / 1904 Last » Next »