848 search results - page 143 / 170 » A Formal Monitoring-Based Framework for Software Development... |
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Component-Based Development (CBD) of software, with its successes in enterprise computing, has the promise of being a good development model due to its cost effectiveness and pote...
KBSE
2007
IEEE
14 years 3 months ago
2007
IEEE
Security, privacy and governance are increasingly the focus of government regulations in the U.S., Europe and elsewhere. This trend has created a “regulation compliance” probl...
SIGSOFT
2006
ACM
14 years 2 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
AOSE
2001
Springer
14 years 1 months ago
2001
Springer
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...
IWPC
1999
IEEE
14 years 1 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...