306 search results - page 52 / 62 » How do I model state |
230
Voted
SIGECOM
2011
ACM
14 years 6 months ago
2011
ACM
ended abstract summarizes the research presented in Dr. Pardoe’s recently-completed Ph.D. thesis [Pardoe 2011]. The thesis considers how adaptive trading agents can take advantag...
174
Voted
EEMMAS
2007
Springer
15 years 9 months ago
2007
Springer
Complexity of near future and even nowadays applications is exponentially increasing. In order to tackle the design of such complex systems, being able to engineer self-organising ...
169
Voted
CSFW
2002
IEEE
15 years 8 months ago
2002
IEEE
We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...
123
Voted
HPDC
1999
IEEE
15 years 8 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
146
Voted
SIGGRAPH
1993
ACM
15 years 7 months ago
1993
ACM
The most expensive geometric operation in image synthesis is visibility determination. Classically this is solved with hidden surface removal algorithms that render only the parts...