4880 search results - page 746 / 976 » Manuals as Structured Programs |
159
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We consider the issues of implicitness and cache-obliviousness in the classical dictionary problem for n distinct keys over an unbounded and ordered universe. One finding in this ...
159
click to vote
ACIIDS
2010
IEEE
15 years 11 months ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
161
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
196
click to vote
MPC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It is natural to present subtyping for recursive types coinductively. However, Gapeyev, Levin and Pierce have noted that there is a problem with coinductive definitions ...
161
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...