1252 search results - page 165 / 251 » Complex Systems and Agent-Oriented Software Engineering |
103
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
We describe the commercial application of agents to the handling of catalogue and stock-control for the selling of books on the internet. The primary characteristic of the target ...
105
click to vote
SAC
2010
ACM
15 years 25 days ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
130
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
118
click to vote
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
77
Voted
PROFES
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...