2268 search results - page 170 / 454 » The Essence of Form Abstraction |
181
click to vote
SCIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Filter networks, i.e. decomposition of a filter set into a layered structure of sparse subfilters has been proven successful for e.g. efficient convolution using finit...
182
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...
150
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
203
click to vote
WRAC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper introduces a novel framework for designing multiagent systems, called “Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios” (...
200
click to vote
ICSOC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...