29082 search results - page 220 / 5817 » The Time-Triggered Model of Computation |
129
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Computational Indistinguishability Logic (CIL) is a logic for reasoning about cryptographic primitives in computational models. It captures reasoning patterns that are common in p...
115
Voted
GC
2004
Springer
15 years 7 months ago
2004
Springer
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
143
click to vote
PICS
1998
15 years 5 months ago
1998
Computer graphic reflection modeling techniques were used to study the surface reflection of paper. Models of the subsurface microstructure of paper were constructed and the refle...
135
click to vote
ENTCS
2008
15 years 4 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
132
click to vote
COMPGEOM
2007
ACM
15 years 8 months ago
2007
ACM
The Bentley-Ottmann (BO) algorithm, initially designed to report the intersection points of line-segments in the plane, is the prototypical sweep-line algorithm. This video presen...