2409 search results - page 287 / 482 » On Extended Regular Expressions |
186
click to vote
TPHOL
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
201
click to vote
ESORICS
2007
Springer
16 years 24 days ago
2007
Springer
Privacy is considered critical for all organizations needing to manage individual related information. As such, there is an increasing need for access control models which can adeq...
158
click to vote
TACAS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
153
click to vote
TARK
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
172
click to vote
ICPP
2005
IEEE
16 years 7 days ago
2005
IEEE
Slowdown, defined as the ratio of a request’s queueing delay to its service time, is accepted as an important quality of service metric of Internet servers. In this paper, we i...