4761 search results - page 608 / 953 » Components, Frameworks, Patterns |
180
click to vote
ICALP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
168
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
204
click to vote
IDA
2007
Springer
16 years 27 days ago
2007
Springer
The increasing availability of streaming data is a consequence of the continuing advancement of data acquisition technology. Such data provides new challenges to the various data a...
177
click to vote
ACSD
2006
IEEE
16 years 24 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
329
click to vote
CBMS
2006
IEEE
16 years 24 days ago
2006
IEEE
The growing complexity of distributed biomedical application requirements present new challenges to the representation of software architectural analysis and design. This is the c...