1679 search results - page 95 / 336 » Variability and Component Composition |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Separation of concerns is one of the overarching goals of exception handling in order to keep separate normal and exceptional behaviour of a software system. In the context of a s...
ICSE
2004
IEEE-ACM
14 years 7 months ago
2004
IEEE-ACM
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Driven by the increasing componentization of scientific codes, the deployment of high-end system infrastructures such as the Grid, and the desire to support high level problem so...
IANDC
2008
13 years 7 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...