5630 search results - page 231 / 1126 » Computability in Specification |
154
click to vote
MHCI
2009
Springer
16 years 18 days ago
2009
Springer
The development of locative media applications is not simply about the physical location or social setting in which the interaction occurs, but rather about situating the media wi...
260
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This paper specifies, via a Hoare-like logic, an interprocedural and flow sensitive (but termination insensitive) information flow analysis for object-oriented programs. Pointer a...
168
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
151
click to vote
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...
167
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...