469 search results - page 64 / 94 » Language Design for Meta-programming in the Software Composi... |
117
click to vote
CGO
2008
IEEE
15 years 8 months ago
2008
IEEE
In recent years, the microprocessor industry has embraced chip multiprocessors (CMPs), also known as multi-core architectures, as the dominant design paradigm. For existing and ne...
138
click to vote
TASE
2010
IEEE
14 years 8 months ago
2010
IEEE
Concurrent engineering (CE) is a methodology applied to product lifecycle development so that high quality, well designed products can be provided at lower prices and in less time....
126
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Started in the beginning of 2001, the Semantic Web is regarded by many as the next generation of the Web. Ontology languages are the building blocks of Semantic Web as they provid...
133
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
108
click to vote
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
stract Semantics of Additive Aspects by Translation S. B. Sanjabi C.-H. L. Ong Oxford University Computing Laboratory We study the denotational semantics of an aspect calculus by ...