8587 search results - page 1500 / 1718 » Interactive dynamic abstraction |
102
Voted
SPATIALCOGNITION
2004
Springer
15 years 9 months ago
2004
Springer
Diagrams are an effective means of conveying concrete, abstract or symbolic information about systems. Here, individuals or pairs of participants produced assembly instructions aft...
144
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
119
Voted
TSD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. After the years of hesitation the conservative Slovak telecommunication market seems to become conscious of the need of voice driven services. In the last year, all the t...
97
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
P2P applications have found a lot of interest lately but there are open questions about the viability of the revenue models behind P2P applications/ services. In this paper, we di...
106
Voted
ICDCSW
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...