3008 search results - page 323 / 602 » Mechanisms for Importing Modules |
158
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
177
Voted
TRIDENTCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
With the rapid growth in research activity on future wireless networking applications and protocols, experimental study and validation is becoming an increasingly important tool t...
171
click to vote
VISSOFT
2005
IEEE
16 years 7 days ago
2005
IEEE
We present MetricView, a software visualization and exploration tool that combines traditional UML diagram visualization with metric visualization in an effective way. MetricView ...
143
click to vote
ACMACE
2005
ACM
16 years 6 days ago
2005
ACM
We examine the role of sound design in pervasive mobile games. As a case study, we present the sound design and evaluation of a working prototype game called The Songs of North. A...
151
click to vote
AOSE
2005
Springer
16 years 6 days ago
2005
Springer
Interactions between agents are traditionally specified as interaction protocols using notations such as Petri nets, AUML, or finite state machines. These protocols are a poor ...