6020 search results - page 791 / 1204 » A New Approach to Model Counting |
190
click to vote
IEEEAMS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
212
click to vote
STEP
2003
IEEE
16 years 18 hour ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
236
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a requirements engineering framework based on the notions of Actor, Goal, and Intentional Dependency, and applies it to a case study in the field of Informatio...
182
Voted
ISCC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we propose a new protection scheme, which we term partial path protection (PPP), to select endto-end backup paths using local information about network failures. PP...
152
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most memory test algorithms are optimized tests for a particular memory technology and a particular set of fault models, under the assumption that the memory is bit-oriented; i.e....