2706 search results - page 188 / 542 » The case for a new business model |
166
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
143
click to vote
GLOBECOM
2007
IEEE
16 years 27 days ago
2007
IEEE
—The current overlay deployment model supports minimal or no involvement by ISPs in overlay deployment and operation. This model rules out a richer set of interactions between th...
150
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Evaluation criteria for conversational CBR (CCBR) systems are important to guide development and tuning of new methods, and to enable practitioners to make informed decis...
204
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
: This paper explains how we have designed a service-oriented architecture by combining and extending several open source environments. We show how the IT architecture of the Natio...
159
click to vote
CAV
2005
Springer
16 years 3 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...