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...
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
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...
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...
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...