3335 search results - page 428 / 667 » A Unified Approach to Modeling and Programming |
195
click to vote
IAT
2003
IEEE
15 years 11 months ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
166
click to vote
WETICE
2003
IEEE
15 years 11 months ago
2003
IEEE
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
125
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
173
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
180
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...