2245 search results - page 229 / 449 » A Case Study Implementing Features Using AspectJ |
172
Voted
SPLC
2008
15 years 7 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...
170
click to vote
CADE
2012
Springer
13 years 8 months ago
2012
Springer
We propose a new logic, called differential dynamic game logic (dDGL), that adds several game constructs on top of differential dynamic logic (dL) so that it can be used for hybr...
336
Voted
IJNSEC
2008
15 years 6 months ago
2008
Despite the importance of proofs in assuring protocol implementers about the security properties of key establishment protocols, many protocol designers fail to provide any proof ...
226
Voted
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
Cloud enabled systems have become a crucial component to efficiently process and analyze massive amounts of data. One of the key data processing and analysis operations is the Sim...
171
click to vote
DIAL
2004
IEEE
15 years 10 months ago
2004
IEEE
Document storage and retrieval capabilities of the CEDAR-FOX forensic handwritten document examination system are described. The system is designed for automated and semi-automate...