Sciweavers

1944 search results - page 198 / 389
» Coupling-based Integration Testing
Sort
View
ATAL
1998
Springer
14 years 3 months ago
Content-Based Routing as the Basis for Intra-Agent Communication
In this paper, an agent architecture is proposed that can be used to integrate pre-existing components that provide the domain dependent agent functionality. The key integrating fe...
Nikolaos Skarmeas, Keith L. Clark
ICCAD
1992
IEEE
148views Hardware» more  ICCAD 1992»
14 years 2 months ago
McPOWER: a Monte Carlo approach to power estimation
Excessive power dissipation in integrated circuits causes overheating and can lead to soft errors and or permanent damage. The severity of the problem increases in proportion to t...
Richard Burch, Farid N. Najm, Ping Yang, Timothy N...
CAISE
2009
Springer
14 years 2 months ago
Configurable Process Models: Experiences from a Municipality Case Study
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...
Florian Gottschalk, Teun A. C. Wagemakers, Monique...
AMAST
2006
Springer
14 years 2 months ago
Formal Islands
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
Emilie Balland, Claude Kirchner, Pierre-Etienne Mo...
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
14 years 2 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...