5255 search results - page 721 / 1051 » Formal Methods for Privacy |
182
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
161
click to vote
GW
2005
Springer
16 years 7 days ago
2005
Springer
Simulating realistic human-like figures is still a challenging task when dynamics is involved. For example, making a virtual human jump to a given position requires to control the...
160
click to vote
IMA
2005
Springer
16 years 6 days ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
195
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
190
click to vote
FMCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Object calculi have been investigated as semantical foundation for object-oriented languages. Often, they are object-based, whereas the mainstream of object-oriented lang...