Sciweavers

2015 search results - page 130 / 403
» Hidden Software Capabilities
Sort
View
AMAST
2008
Springer
13 years 11 months ago
The Verification of the On-Chip COMA Cache Coherence Protocol
This paper gives a correctness proof for the on-chip COMA cache coherence protocol that supports the Microgrid of microtheaded architecture, a multi-core architecture capable of in...
Thuy Duong Vu, Li Zhang, Chris R. Jesshope
IESA
2007
13 years 11 months ago
Improving Interoperability in Collaborative Modelling
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
Stephan Roser, Bernhard Bauer
IADIS
2003
13 years 10 months ago
Components, Middleware and Web Services
Web services are a logical evolution of software components and middleware. Based on a comparison of Web services with middleware and components we come up with the statement that...
Dimka Karastoyanova, Alejandro P. Buchmann
DAGSTUHL
2009
13 years 10 months ago
A Case Study in Goal-Driven Architectural Adaptation
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its ...
William Heaven, Daniel Sykes, Jeff Magee, Jeff Kra...
CACM
1999
132views more  CACM 1999»
13 years 9 months ago
Agents That Buy and Sell
Software agents have become very popular in the last six or so years. They have been used successfully to filter information, match people with similar interests and automate repe...
Pattie Maes, Robert H. Guttman, Alexandros Moukas