1536 search results - page 287 / 308 » The Underlying Logic of Hoare Logic |
153
click to vote
CCA
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
171
Voted
DEXA
2009
Springer
16 years 19 days ago
2009
Springer
Describing relational data sources (i.e. databases) by means of ontologies constitutes the foundation of most of the semantic based approaches to data access and integration. In sp...
200
click to vote
DMSN
2009
ACM
16 years 18 days ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
164
click to vote
ISSTA
2009
ACM
16 years 17 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
223
click to vote
SACMAT
2009
ACM
16 years 17 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...