Sciweavers

731 search results - page 39 / 147
» Specification Matching of Software Components
Sort
View
AOSD
2007
ACM
14 years 1 months ago
Generating parallel applications for distributed memory systems using aspects, components, and patterns
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
Purushotham V. Bangalore
JSS
2008
136views more  JSS 2008»
13 years 9 months ago
Specification, decomposition and agent synthesis for situation-aware service-based systems
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
Stephen S. Yau, Haishan Gong, Dazhi Huang, Wei Gao...
ELPUB
2007
ACM
14 years 1 months ago
A Bachelor and Master Theses Portal : Specific Needs and Business Opportunities for the DoKS Repository Tool
A few years ago a portal for bachelor and master theses from Flemish university colleges was established by means of the open source repository software DoKS. At present approxima...
Rudi Baccarne
AIED
2009
Springer
14 years 4 months ago
The Extensible Problem-Specific Tutor (xPST): Evaluation of an API for Tutoring on Existing Interfaces
The Extensible Problem-Specific Tutor (xPST) system was created to facilitate the creation of intelligent tutoring systems (ITSs) on existing software and web-based interfaces. Thi...
Stephen B. Gilbert, Stephen Blessing, Sateesh Koda...
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
14 years 1 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...