7167 search results - page 167 / 1434 » A Technique for Invariant Generation |
222
click to vote
BCSHCI
1997
15 years 8 months ago
1997
In this article we wish to show a method to go beyond the established approaches of human-computer interaction. We first bring a serious critique of traditional interface types, sh...
186
Voted
IJCAT
2008
15 years 7 months ago
2008
Modeling and simulation are essential tools for the design and analysis of container terminals. A computer model can emulate the activities at various levels of details and captur...
175
Voted
ENTCS
2007
15 years 7 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
195
click to vote
VLSISP
2002
15 years 6 months ago
2002
A new and efficient class of nonlinear receivers is introduced for digital communication systems. These "iterated-decision" receivers use optimized multipass algorithms t...
180
click to vote
JNSM
2010
15 years 1 months ago
2010
This article presents an overview of standards and a survey of recent work on QoS control of next generation networks (NGNs). We outline primarily standardized QoS control architec...