7720 search results - page 270 / 1544 » A Model for Interface Groups |
173
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...
174
click to vote
CHI
1999
ACM
15 years 11 months ago
1999
ACM
Recent debate has centered on the relative promise of focusing user-interface research on developing new metaphors and tools that enhance users’ abilities to directly manipulate...
192
click to vote
KIVS
1999
Springer
15 years 10 months ago
1999
Springer
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...
202
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: By means of RDFa it is possible to embed semantic meaning into standard XHTML web pages. Using the meaning, we provide content-sensitive user interfaces for web pages int...
159
click to vote
PPSC
1997
15 years 8 months ago
1997
We discuss the role of Java and Web technologies for general simulation. We classify the classes of concurrency typical in problems and analyze separately the role of Java in user...