194 search results - page 31 / 39 » Separation of concerns for dependable software design |
UIST
1999
ACM
13 years 11 months ago
1999
ACM
We present experimental work which explores how the match (or mismatch) between the input space of the hands and the output space of a graphical display influences twohanded input...
IEEEAMS
2003
IEEE
14 years 23 days ago
2003
IEEE
Autonomic computing – self-configuring, self-healing, self-optimizing applications, systems and networks – is widely believed to be a promising solution to everincreasing syst...
ICFP
2001
ACM
14 years 7 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
VIP
2001
13 years 8 months ago
2001
Visualisation Systems are in general designed to maximise the cognitive ability of system users particularly when exposed to large sets of otherwise difficult to comprehend data, ...