653 search results - page 13 / 131 » Specifying Business Requirements through Interaction Design |
DAIS
1997
15 years 12 days ago
1997
An increasing number of distributed applications are being constructed by composing them out of existing applications. The resulting applications can be very complex in structure,...
105
click to vote
AOSD
2009
ACM
15 years 5 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
WWW
2004
ACM
15 years 11 months ago
2004
ACM
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
ACSD
1998
IEEE
15 years 3 months ago
1998
IEEE
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
SPIN
1999
Springer
15 years 3 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...