13109 search results - page 253 / 2622 » The design and implementation of AspectC |
139
click to vote
DAC
2004
ACM
16 years 7 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...
161
click to vote
CIC
2004
15 years 8 months ago
2004
The Common Component Architecture (CCA) defines a specification for the implementation of frameworks to support component-based high performance applications. The same framework s...
169
click to vote
AOSE
2003
Springer
15 years 12 months ago
2003
Springer
We present our Component-Based Agent Framework, which enables a software engineer to design a set of agents by using a visual compo nent-based toolkit (Sun’s BDK), and wiring tog...
161
click to vote
ICWE
2003
Springer
15 years 12 months ago
2003
Springer
The development process of hypermedia applications involves a variety of users with different levels of knowledge and skills. In order to get a good communication among participa...
192
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...