5255 search results - page 721 / 1051 » Formal Methods for Privacy |
213
Voted
ATAL
2005
Springer
16 years 1 months 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...
183
Voted
GW
2005
Springer
16 years 29 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...
182
click to vote
IMA
2005
Springer
16 years 29 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...
225
click to vote
ISSTA
2004
ACM
16 years 26 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...
209
Voted
FMCO
2004
Springer
16 years 25 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...