Sciweavers

2245 search results - page 173 / 449
» A Case Study Implementing Features Using AspectJ
Sort
View
TAP
2008
Springer
102views Hardware» more  TAP 2008»
15 years 5 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
131
Voted
SAGT
2009
Springer
177views Game Theory» more  SAGT 2009»
15 years 11 months ago
Characterizing Incentive Compatibility for Convex Valuations
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
André Berger, Rudolf Müller, Seyed Hos...
VISUALIZATION
1995
IEEE
15 years 8 months ago
Qualitative Analysis of Invariant Tori in a Dynamical System
Invariant tori are examples of invariant manifolds in dynamical systems. Usual tools in dynamical systems such as analysis and numerical simulations alone are often not sufficient...
Daryl H. Hepting, Gianne Derks, Kossi D. Edoh, Rob...
163
Voted
AC
2003
Springer
15 years 10 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
118
Voted
HICSS
1998
IEEE
97views Biometrics» more  HICSS 1998»
15 years 9 months ago
CAFE: A Conceptual Model for Managing Information in Electronic Mail
The design and implementation of a conceptual model, CAFE (a Categorization Assistant For E-mail), is described. The model supports the organization, searching, and retrieval of i...
Juha Takkinen, Nahid Shahmehri