380 search results - page 23 / 76 » A Software Framework for Automated Negotiation |
ISSRE
2008
IEEE
14 years 4 months ago
2008
IEEE
Aspect-Oriented Programming (AOP) provides new modularization of software systems by encapsulating crosscutting concerns. AspectJ, an AOP language, uses abstractions such as point...
GCC
2003
Springer
14 years 3 months ago
2003
Springer
: Detection of instances of design patterns is useful for the software maintenance. This paper proposes a new framework for the automated detection of instances of design patterns....
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Traceability helps stakeholders to understand the relationships that exist between software artifacts created during a software development project. For example, the evolution of ...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
- Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their th...