Sciweavers

15778 search results - page 2784 / 3156
» Aikido and software engineering
Sort
View
SEKE
2007
Springer
16 years 29 days 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 29 days 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 29 days 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 29 days 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
SOCO
2007
Springer
16 years 29 days ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro
« Prev « First page 2784 / 3156 Last » Next »