Sciweavers

1226 search results - page 151 / 246
» Generating Abstractions from Static Domain Analysis
Sort
View
ECMDAFA
2006
Springer
228views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Model Driven Development of Multi-Agent Systems
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
Juan Pavón, Jorge J. Gómez-Sanz, Rub...
WADS
2001
Springer
182views Algorithms» more  WADS 2001»
14 years 16 days ago
On the Complexity of Scheduling Conditional Real-Time Code
Abstract. Many real-time embedded systems involve a collection of independently executing event-driven code blocks, having hard real-time constraints. Portions of such codes when t...
Samarjit Chakraborty, Thomas Erlebach, Lothar Thie...
EUSAI
2003
Springer
14 years 1 months ago
Some Issues on Presentations in Intelligent Environments
Intelligent environments frequently embed a varying number of output means. In this paper, we present an analysis of the task of generating a coherent presentation across multiple ...
Christian Kray, Antonio Krüger, Christoph End...
BIRTHDAY
2006
Springer
13 years 12 months ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke
MOC
1998
104views more  MOC 1998»
13 years 7 months ago
Approximation properties of multivariate wavelets
Abstract. Wavelets are generated from refinable functions by using multiresolution analysis. In this paper we investigate the approximation properties of multivariate refinable f...
Rong-Qing Jia