3435 search results - page 452 / 687 » Aspect Model Unweaving |
145
click to vote
GPCE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
158
click to vote
ICARIS
2004
Springer
15 years 12 months ago
2004
Springer
The benefits of negative detection for obscuring information are explored in the context of Artificial Immune Systems (AIS). AIS based on string matching have the potential for a...
173
click to vote
MEMBRANE
2004
Springer
15 years 12 months ago
2004
Springer
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
196
click to vote
RE
2004
Springer
15 years 12 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
120
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...