3468 search results - page 356 / 694 » An open logical framework |
168
click to vote
HM
2007
Springer
16 years 29 days ago
2007
Springer
The connected facility location (ConFL) problem generalizes the facility location problem and the Steiner tree problem in graphs. Given a graph G = (V, E), a set of customers D ⊆...
188
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
173
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
187
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
—As current software systems evolve continuously, both the application and its user interface (UI) have to be adapted. However, UI code is often scattered through and entangled w...
191
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...