450 search results - page 13 / 90 » Formal Methods for Industrial Products |
SFM
2005
Springer
14 years 29 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
FMCAD
2009
Springer
13 years 11 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...
SPLC
2010
13 years 5 months ago
2010
Product line engineering allows for the rapid development of variants of a domain specific application by using a common set of reusable assets often known as core assets. Variabil...
ECIS
2001
13 years 9 months ago
2001
This paper examines the key issues in software product and interface localization, including the cost and the specific aspects of software that must be localized, and a methodolog...
EAI
2004
13 years 9 months ago
2004
A vertically integrated market consists of potentially competing companies who supply each other with products and services. Information technology can be employed to improve the b...