13140 search results - page 2423 / 2628 » Coupling Component Systems towards Systems of Systems |
186
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
178
click to vote
DOLAP
2009
ACM
15 years 10 months ago
2009
ACM
Decisional systems are crucial for enterprise improvement. They allow the consolidation of heterogeneous data from distributed enterprise data stores into strategic indicators. An...
166
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
155
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents a framework and system to evaluate the accessibility of web pages according to the individual requirements of users with disabilities. These requirements not o...
174
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a new method for registering computer tomography (CT) volumetric data of human bone structures relative to observations made at different times. The system we ...