4460 search results - page 147 / 892 » Formal methods for interactive systems |
132
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
148
Voted
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
138
Voted
TOG
2008
15 years 3 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
124
Voted
JUCS
2008
15 years 3 months ago
2008
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
132
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...