3045 search results - page 379 / 609 » Formal Approaches to Software Architecture |
178
click to vote
DALT
2009
Springer
16 years 1 months ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
196
Voted
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
166
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
147
click to vote
COMPSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...
169
click to vote
WOSP
2005
ACM
16 years 9 days ago
2005
ACM
StoCharts have been proposed as a UML statechart extension for performance and dependability evaluation, and have been applied in the context of train radio reliability assessment...