3943 search results - page 139 / 789 » Architecture-Level Requirements Specification |
153
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
151
click to vote
ER
2005
Springer
16 years 1 days ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
148
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Legitimacy is a key part of the social requirements specification for a trusted virtual community environment (VCE). If an environment is not seen as legitimate, social conflicts m...
178
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
As the complexity and application scope of agent-based systems increases, the requirements placed on Agent Communication Languages have also increased with it. Currently-available...
170
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper we describe two related approaches to estimating the sample sizes required to statistically compare the performance of two classifiers: acceptable failure rates (AFR...