412 search results - page 31 / 83 » Integrating customized test requirements with traditional re... |
SEAA
2008
IEEE
14 years 3 months ago
2008
IEEE
Mobile devices are considered to be very useful in adhoc and team collaborations, for example in disaster responses, where dedicated infrastructures are not available. Such collab...
AIMSA
2004
Springer
14 years 2 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...
HT
1997
ACM
14 years 24 days ago
1997
ACM
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
PUK
2001
13 years 10 months ago
2001
The sales of customisable products and services over the internet is a challenging task within the area of electronic commerce. In this chapter we will present a case study which s...
DSN
2004
IEEE
14 years 11 days ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...