18924 search results - page 23 / 3785 » Conformance of Distributed Systems |
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
While using more biometric traits in multimodal biometric fusion can effectively increase the system robustness, often, the cost associated to adding additional systems is not con...
NOMS
2008
IEEE
14 years 3 months ago
2008
IEEE
Large complex systems (such as Enterprise systems) are often composed of several interacting, independent components. In many such systems, although the behavior of the constituen...
ICFP
1997
ACM
14 years 27 days ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
WICSA
2008
13 years 10 months ago
2008
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
EDOC
2008
IEEE
14 years 3 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...