Sciweavers

2015 search results - page 130 / 403
» Hidden Software Capabilities
Sort
View
96
Voted
AMAST
2008
Springer
15 years 2 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
88
Voted
IESA
2007
15 years 2 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
84
Voted
IADIS
2003
15 years 2 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
15 years 1 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...
130
Voted
CACM
1999
132views more  CACM 1999»
15 years 13 days 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