147 search results - page 29 / 30 » Supporting the Negotiation Life Cycle |
DATESO
2007
14 years 9 days ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
DGO
2007
14 years 9 days ago
2007
Enhanced information sharing among criminal justice agencies is a critical concern and a goal of much IT investment. Understanding agencies’ capabilities to achieve this goal is...
SE
2008
14 years 8 days ago
2008
Abstract: Modern software development approaches, especially the model-driven approaches, heavily rely on the use of models during the whole development process. With the increasin...
IASTEDSEA
2004
14 years 7 days ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
IJSNET
2008
13 years 10 months ago
2008
: Public key cryptography (PKC) has been considered for a long time to be computationally too expensive for small battery powered devices. However, PKC turned out to be very benefi...