1585 search results - page 137 / 317 » A framework for computer-aided validation |
157
click to vote
EJIS
2007
15 years 3 months ago
2007
e-Government systems differ from commercial information systems (IS) in that they frequently encompass strategic goals that go beyond efficiency, effectiveness and economy, and in...
110
click to vote
ENTCS
2007
15 years 3 months ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
141
Voted
JUCS
2006
15 years 3 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
121
click to vote
IJCIM
2007
15 years 3 months ago
2007
: This paper analyzes the shortage of traditional ERP systems in the current dynamic and competitive enterprises environment. The new generation ERP system needs to be frequently c...
122
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
—In this paper, we develop an analytical framework which explains the emergence of superpeer networks on execution of the commercial peer-to-peer bootstrapping protocols by incom...