Sciweavers

8086 search results - page 1539 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
139
Voted
QI
2009
Springer
117views Physics» more  QI 2009»
15 years 10 months ago
Generalising Unitary Time Evolution
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
Kirsty Kitto, Peter Bruza, Laurianne Sitbon
125
Voted
EICS
2009
ACM
15 years 10 months ago
Edit, inspect and connect your surroundings: a reference framework for meta-UIs
Discovering and unlocking the full potential of complex pervasive environments is still approached in application-centric ways. A set of statically deployed applications often de...
Geert Vanderhulst, Daniel Schreiber, Kris Luyten, ...
124
Voted
ISSTA
2009
ACM
15 years 10 months ago
HAMPI: a solver for string constraints
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter H...
145
Voted
SIGCOMM
2009
ACM
15 years 10 months ago
Router primitives for programmable active measurement
Active probe-based measurements are the foundation for understanding important network path properties such as SLA compliance and available bandwidth. Well-known challenges in act...
Joel Sommers, Paul Barford, Mark Crovella
W4A
2009
ACM
15 years 10 months ago
Audio presentation of auto-suggest lists
One of the most significant advances behind World Wide Web (Web) 2.0 is the ability to allow parts of a Web page to be updated independently. This can provide an exciting, intera...
Andy Brown, Caroline Jay, Simon Harper
« Prev « First page 1539 / 1618 Last » Next »