623 search results - page 75 / 125 » Relational Parametricity for Control Considered as a Computa... |
JELIA
2004
Springer
15 years 5 months ago
2004
Springer
Boolean games are a class of two-player games which may be defined via a Boolean form over a set of atomic actions. A particular game on some form is instantiated by partitioning ...
104
click to vote
TON
2008
14 years 11 months ago
2008
Differentiated services architectures are scalable solutions for providing class-based Quality of Service (QoS) over packet switched networks. While qualitative attributes of the o...
100
click to vote
IBERAMIA
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we describe MRSCL Geometry a collaborative educational activity that explores the use of robotic technology and wirelessly connected Pocket PCs as tools for teaching ...
112
click to vote
PE
2008
Springer
14 years 11 months ago
2008
Springer
Ratings (also known as recommendations) provide an efficient and effective way to build trust relationship in the human society, by making use of the information from others rathe...
121
click to vote
DAC
2003
ACM
16 years 24 days ago
2003
ACM
Chemical-mechanical planarization (CMP) and other manufacturing steps in very deep-submicron VLSI have varying effects on device and interconnect features, depending on the local ...