Sciweavers

8771 search results - page 146 / 1755
» Different by design
Sort
View
OTM
2004
Springer
15 years 12 months ago
A Model-Driven Approach to Designing Cross-Enterprise Business Processes
Abstract. Modeling and managing business processes that span multiple organizations involves new challenges, mainly regarding the ability to cope with change, decentralization, and...
Bernhard Bauer, Jörg P. Müller, Stephan ...
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
15 years 12 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
ISCAS
2003
IEEE
118views Hardware» more  ISCAS 2003»
15 years 11 months ago
SoC design integration by using automatic interconnection rectification
the interconnection among the IP cores with all description levels This paper presents an automatic interconnection rectification (AIR)technique to correct the misplaced interconne...
Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou
ESTIMEDIA
2003
Springer
15 years 11 months ago
A Component Oriented Simulator for HW/SW Co-Designs
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
Alexander Paar, Haitao Du, Nader Bagherzadeh
CLUSTER
2002
IEEE
15 years 11 months ago
Design and Validation of Portable Communication Infrastructure for Fault-Tolerant Cluster Middleware
We describe the communication infrastructure (CI) for our fault-tolerant cluster middleware, which is optimized for two classes of communication: for the applications and for the ...
Ming Li, Wenchao Tao, Daniel Goldberg, Israel Hsu,...