12981 search results - page 619 / 2597 » Model Checking (Abstract) |
168
click to vote
BPM
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
160
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
In this paper, we systematically define three transaction level TLMs), which reside at different levels of abstraction between the functional and the implementation model of a DSP...
181
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Several popular simulation and emulation environments fail to account for realistic packet forwarding behaviors of commercial switches and routers. Such simulation or em...
175
click to vote
HPCN
1995
Springer
15 years 11 months ago
1995
Springer
The Mermaid project focuses on the construction of simulation models for MIMD multi-computers in order to evaluate them and to give estimates of the system’s performance. A multi...
206
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...