3435 search results - page 263 / 687 » Aspect Model Unweaving |
184
click to vote
EUROMICRO
2005
IEEE
16 years 7 days ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
169
click to vote
SEFM
2005
IEEE
16 years 5 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
174
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
160
click to vote
SAMOS
2004
Springer
15 years 12 months ago
2004
Springer
Today’s Application Specific Instruction-set Processor (ASIP) design methodology often employs centralized Architecture Description Language (ADL) processor models, from which s...
194
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...