4255 search results - page 394 / 851 » Database: Models, Languages, Design |
214
click to vote
ISF
2007
15 years 7 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
188
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Actor-oriented modeling approaches are convenient for implementing functional models of embedded systems. Architectural models for heterogeneous system-on-chip architectures, howe...
182
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the of abstraction le...
143
click to vote
ENTCS
2008
15 years 7 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
145
click to vote
SAC
2004
ACM
16 years 14 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...