5113 search results - page 860 / 1023 » Model-integrated system development: models, architecture, a... |
197
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
219
click to vote
FPGA
2010
ACM
15 years 6 months ago
2010
ACM
We use reconfigurable hardware to construct a high throughput Bayesian computing machine (BCM) capable of evaluating probabilistic networks with arbitrary DAG (directed acyclic gr...
160
click to vote
COORDINATION
2005
Springer
15 years 12 months ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
134
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Web services have become the predominant paradigm for the development of distributed software systems. Web services provide the means to modularize software in a way that...
171
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...