27274 search results - page 231 / 5455 » A framework for framework documentation |
177
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
142
click to vote
EGOV
2008
Springer
15 years 8 months ago
2008
Springer
Recently, the EU government has put a lot of effort into modernizing its public sectors using advanced information and communication technology (ICT). Together with various univers...
175
click to vote
AIPS
2003
15 years 7 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
146
click to vote
ECIS
2003
15 years 7 months ago
2003
Increasingly, organizations have been investing heavily in information systems for greater dyadic coordination and cooperation with each of their key business partners. In this re...
166
click to vote
IADIS
2003
15 years 7 months ago
2003
In this paper a framework for a high-confidence e-healthcare information system which meets five criteria including availability, reliability, security, survivability and restorab...