2268 search results - page 170 / 454 » The Essence of Form Abstraction |
113
click to vote
SCIA
2005
Springer
15 years 7 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...
109
Voted
SPIN
2005
Springer
15 years 7 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...
VSTTE
2005
Springer
15 years 7 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....
128
click to vote
WRAC
2005
Springer
15 years 7 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” (...
134
click to vote
ICSOC
2005
Springer
15 years 7 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-...