436 search results - page 25 / 88 » Specification of modelling languages in a flexible meta-mode... |
ECBS
1999
IEEE
14 years 24 days ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...
DAC
1992
ACM
14 years 17 days ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The high speed at which new businesses are developed can to a large extent be attributed to their ability to flexibly combine existing services into an integrated business platfor...
APSEC
2008
IEEE
14 years 3 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
DAC
2001
ACM
14 years 9 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...