4340 search results - page 546 / 868 » Formal Methods and Cryptography |
171
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
182
click to vote
ATAL
2005
Springer
16 years 6 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...
160
click to vote
GW
2005
Springer
16 years 5 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...
193
click to vote
ISSTA
2004
ACM
16 years 2 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...
188
click to vote
FMCO
2004
Springer
16 years 1 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...