241 search results - page 35 / 49 » Design by Contract Using Meta-Assertions |
FM
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We present a prototype of agent-based intrusion detection system designed for deployment on high-speed backbone networks. The main contribution of the system is the integration of...
IJCAI
1993
13 years 8 months ago
1993
In multiagent planning, an agent sometimes needs to collaborate with others to construct complex plans, or to accomplish large organizational tasks which it cannot do alone. Since...
TWC
2008
13 years 7 months ago
2008
In the first part of the paper, the capacity of a general multiuser code division multiple access (CDMA) jamming channel was analyzed for noncooperative and cooperative users in up...
SIAMNUM
2010
13 years 2 months ago
2010
We analyze an adaptive discontinuous finite element method (ADFEM) for symmetric second order linear elliptic operators. The method is formulated on nonconforming meshes made of si...