Sciweavers

4245 search results - page 376 / 849
» Integrating Software by Integrating People
Sort
View
AMAST
2008
Springer
15 years 8 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
AMAST
2008
Springer
15 years 8 months ago
Implementing a Categorical Information System
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
Michael Johnson, Robert D. Rosebrugh
FASE
2008
Springer
15 years 8 months ago
When Things Go Wrong: Interrupting Conversations
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
Juliana Küster Filipe Bowles, Sotiris Moschoy...
SE
2007
15 years 8 months ago
Enhancing the UML with shadows for agile development
Agile methodologies can be enhanced by the use of shadows as this feature because of its inherent ability to dynamically change the behavior of classes and objects, provides mecha...
Marc Conrad, Marianne Huchard
IADIS
2003
15 years 8 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