Sciweavers

628 search results - page 96 / 126
» Compositional design of isochronous systems
Sort
View
ICIW
2007
IEEE
15 years 5 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
APLAS
2008
ACM
15 years 4 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
107
Voted
KES
2006
Springer
15 years 1 months ago
A Divergent-Style Learning Support Tool for English Learners Using a Thesaurus Diagram
This paper proposes an English learning support tool which provides users with divergent information to find the right words and expressions. In contrast to a number of software to...
Chie Shimodaira, Hiroshi Shimodaira, Susumu Kunifu...
JAPLL
2007
78views more  JAPLL 2007»
15 years 1 months ago
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purp...
Jan A. Bergstra, Alban Ponse
CONEXT
2005
ACM
15 years 3 months ago
Janus: an architecture for flexible access to sensor networks
We present the design and implementation of the Janus1 architecture for providing flexible and lightweight access to sensor network resources from Internet-type networks. Janus p...
Richard Gold