3432 search results - page 280 / 687 » Model Development in the UML-based Specification Environment... |
204
click to vote
AAI
2000
15 years 7 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
224
click to vote
ACSAC
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
219
click to vote
HIM
1997
Springer
15 years 11 months ago
1997
Springer
The project DIANE is an EU-funded project in the ACTS Program and started in September 1995. The goal of DIANE is to establish a service, which enables an user to annotate anythin...
191
click to vote
AOSD
2006
ACM
16 years 1 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
176
click to vote
AAAI
2010
15 years 5 months ago
2010
Different solvers for computationally difficult problems such as satisfiability (SAT) perform best on different instances. Algorithm portfolios exploit this phenomenon by predicti...