7209 search results - page 1232 / 1442 » Software Engineering for Multi-Agent Systems |
CSCLP
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
FATES
2004
Springer
14 years 4 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
FSTTCS
2004
Springer
14 years 4 months ago
2004
Springer
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
ICCBSS
2004
Springer
14 years 4 months ago
2004
Springer
In this paper we propose a taxonomy for classifying COTS business applications, i.e. products that are used in the daily functioning of all types of organizations worldwide, such a...
ICESS
2004
Springer
14 years 4 months ago
2004
Springer
A new gradient-based routing protocol is proposed in this paper. It takes into account the minimum hop count and remaining energy of each node while relaying data from source node ...