10038 search results - page 1584 / 2008 » Model Checking for Managers |
220
click to vote
PRDC
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
137
click to vote
DAGM
2005
Springer
16 years 8 days ago
2005
Springer
Over the last decade voice technologies for telephony and embedded solutions became much more mature, resulting in applications providing mobile access to digital information from ...
168
click to vote
DIGRA
2005
Springer
16 years 8 days ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
166
Voted
EMISA
2005
Springer
16 years 8 days ago
2005
Springer
: The development of Customer Relationship Management (CRM) capabilities by incrementally sourcing and combining “best of breed” services from different providers is a key leve...
148
click to vote
GBRPR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. In this article we try to make different kinds of information cooperate in a characters recognition system addressing old Greek and Egyptians documents. We first use a ...