5180 search results - page 715 / 1036 » Concurrency, Time, and Constraints |
186
click to vote
CCS
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes an access control mechanism that enforces at the network level an access control decision that is taken at the application level. The mechanism is based on th...
190
Voted
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We have designed and implemented a type inference algorithm for the Self language. The algorithm can guarantee the safety and disambiguity of message sends, and provide u...
174
Voted
KR
1989
Springer
15 years 10 months ago
1989
Springer
In this work we extend the work of Dean, Kaelbling, Kirman and Nicholson on planning under time constraints in stochastic domains to handle more complicated scheduling problems. I...
174
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
235
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
We present as-strong-as-possible definitions of privacy, and constructions achieving them, for public-key encryption schemes where the encryption algorithm is deterministic. We ob...