3901 search results - page 300 / 781 » software 2008 |
166
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
165
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
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...
144
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The measurement of the functional size of applications generated in MDA environments is a challenge for the software development industry. This paper presents the OO-Method COSMIC ...
202
click to vote
C3S2E
2008
ACM
15 years 8 months ago
2008
ACM
This paper considers the problem of integer least squares, where the least squares solution is an integer vector, whereas the coefficient matrix is real. In particular, we discuss...
164
click to vote
WECWIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Creating a Service-Oriented Architecture requires the identification of services to be composed together in order to solve a given need. Currently, software engineers perform thi...