1229 search results - page 75 / 246 » Reflections on the Design of a Specification language |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
This work* specifically addresses the search issues in unstructured peer-to-peer (P2P) systems that involve the design of an efficient search algorithm, the proposed dynamic searc...
JNW
2006
13 years 8 months ago
2006
Distributed hash tables (DHTs) can be used as the basis of a resilient lookup service in unstable environments: local routing tables are updated to reflected changes in the network...
ECOOP
1994
Springer
14 years 6 days ago
1994
Springer
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
UML
2005
Springer
14 years 1 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...