1983 search results - page 269 / 397 » User Interface Modelling with UML |
232
Voted
FROCOS
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
188
Voted
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
Database researchers have striven to improve the capability of a database in terms of both performance and functionality. We assert that the usability of a database is as importan...
123
Voted
SIGDOC
2006
ACM
15 years 9 months ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
125
Voted
NIME
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we introduce and analyze four gesture-controlled musical instruments. We briefly discuss the test platform designed to allow for rapid experimentation of new interf...
124
Voted
GRID
2004
Springer
15 years 9 months ago
2004
Springer
— A large and diverse consortium of grid clusters, as can be found in a university setting, requires a flexible authorization model that is scalable, extensible and easy to admi...