793 search results - page 19 / 159 » Protocol Modeling with Model Program Composition |
FMSD
2006
13 years 7 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
SIGSOFT
2000
ACM
14 years 3 days ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
ICEIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Proposed and developed is a service composition framework for decision-making under uncertainty, which is applicable to stochastic optimization of supply chains. Also developed is ...
LPNMR
2007
Springer
14 years 1 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
WORDS
2002
IEEE
14 years 19 days ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...