647 search results - page 29 / 130 » Generic Trace Logics |
156
click to vote
RTAS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes the design and implementation of a pervasive computing framework, named Physicalnet. Essentially, Physicalnet is a generic paradigm for managing and programmi...
157
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
139
click to vote
FAC
2008
15 years 4 months ago
2008
Abstract. In this paper we consider the relationship between refinement-oriented specification and specifications using a temporal logic. We investigate the extent to which one can...
143
Voted
RTCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
122
click to vote
ENTCS
2010
15 years 4 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...