16725 search results - page 3135 / 3345 » Engineering Software Correctness |
114
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
Cryptographic methods are widely used within networking and digital rights management. Numerous algorithms exist, e.g. spanning VPNs or distributing sensitive data over a shared ne...
135
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
In a pervasive computing environment, one is facing the problem of handling heterogeneous data from different sources, transmitted over heterogeneous channels and presented on het...
121
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
Searching in decentralized peer-to-peer networks is a challenging problem. In common applications such as Gnutella, searching is performed by randomly forwarding queries to all pee...
148
click to vote
ARCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The severe resource restrictions of computer-augmented everyday artifacts imply substantial problems for the design of applications in smart environments. Some of these p...
102
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....