Sciweavers

16725 search results - page 2772 / 3345
» Engineering Software Correctness
Sort
View
SEKE
2007
Springer
16 years 1 months ago
Real-Time Trust Management in Agent Based Online Auction Systems
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
Rinkesh Patel, Haiping Xu, Ankit Goel
SEKE
2007
Springer
16 years 1 months ago
Classification of Design Pattern Traits
Design patterns describe good solutions to common and recurring problems. The applications of design patterns may vary in different layouts, which pose challenges for recovering a...
Jing Dong, Yajing Zhao
SEKE
2007
Springer
16 years 1 months ago
Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints
In this paper, we present an approach to query processing for paraconsistent databases in the presence of integrity constraints. Paraconsistent databases are capable of representi...
Navin Viswanath, Rajshekhar Sunderraman
SERA
2007
Springer
16 years 1 months ago
A Particle Swarm Social Model for Multi-Agent Based Insurgency Warfare Simulation
To better understand insurgent activities and asymmetric warfare, a social adaptive model for modeling multiple insurgent groups attacking multiple military and civilian targets i...
Xiaohui Cui, Thomas E. Potok
SERA
2007
Springer
16 years 1 months ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
« Prev « First page 2772 / 3345 Last » Next »