2933 search results - page 426 / 587 » Agent-Grid Integration Language |
160
click to vote
ICIW
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
122
click to vote
SADFE
2008
IEEE
15 years 9 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
123
click to vote
VL
2008
IEEE
15 years 9 months ago
2008
IEEE
When faced with the need for documentation, examples, bug fixes, error descriptions, code snippets, workarounds, templates, patterns, or advice, software developers frequently tu...
127
Voted
CSFW
2007
IEEE
15 years 9 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
116
click to vote
EDOC
2007
IEEE
15 years 9 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...