Sciweavers

8086 search results - page 1539 / 1618
» On the Implementation of Dynamic Patterns
Sort
View
QI
2009
Springer
117views Physics» more  QI 2009»
15 years 11 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
EICS
2009
ACM
15 years 11 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, ...
ISSTA
2009
ACM
15 years 11 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...
SIGCOMM
2009
ACM
15 years 11 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 11 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 »