4731 search results - page 211 / 947 » Securing Interactive Programs |
121
click to vote
CSFW
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
122
click to vote
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
127
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In this doctoral work we aim at developing a rich timed concurrent constraint (tcc) based language with strong ties to logic. The new calculus called Universal Timed Concu...
107
Voted
DEXA
2005
Springer
15 years 7 months ago
2005
Springer
Finding intensional encapsulations of database subsets is the inverse of query evaluation. Whereas query evaluation transforms an intensional expression (the query) to its extensi...
150
click to vote
PPPJ
2004
ACM
15 years 7 months ago
2004
ACM
Agents are an emerging technology that grants programmers a new way to exploit distributed resources. Roles are a powerful concept that can be used to model agent interactions, all...