7047 search results - page 92 / 1410 » Focusing on Binding and Computation |
148
click to vote
UIST
1995
ACM
15 years 9 months ago
1995
ACM
Current user interface techniques such as WIMP or the desktop metaphor do not support real world tasks, because the focus of these user interfaces is only on human–computer inte...
163
click to vote
ISORC
2007
IEEE
16 years 17 days ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...
148
click to vote
DSOM
2005
Springer
15 years 11 months ago
2005
Springer
Presently, there is no satisfactory model for dealing with political autonomy of agents in policy based management. A theory of atomic policy units called ‘promises’ is therefo...
148
click to vote
GW
2007
Springer
15 years 10 months ago
2007
Springer
The study of sign languages attempts to create a coherent model that binds the expressive nature of signs conveyed in gestures to a linguistic framework. Gesture modelling offers a...
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...