8446 search results - page 1088 / 1690 » A Process Compensation Language |
162
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
196
click to vote
FDL
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
181
click to vote
FOAL
2007
ACM
15 years 11 months ago
2007
ACM
AspectJ aims at managing tangled concerns in Java systems. Crosscutting aspect definitions are woven into the Java bytecode at compile-time. Whether the better modularization intr...
192
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
User queries to search engines are observed to predominantly contain inflected content words but lack stopwords and capitalization. Thus, they often resemble natural language que...
201
click to vote
AINA
2004
IEEE
15 years 11 months ago
2004
IEEE
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...