244 search results - page 8 / 49 » Software Development Support for Ambient Assisted Living |
DAGSTUHL
2007
13 years 9 months ago
2007
A lot of software infrastructures for distributed device ensembles with quite different approaches have been developed in the past. This article describes the need of a reference a...
CISIS
2010
IEEE
13 years 6 months ago
2010
IEEE
The new generation of open networked IT systems poses particular challenges to software engineering due to their evolving nature and their high quality requirements. In particular...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
DEXAW
1998
IEEE
13 years 11 months ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
HCI
2009
13 years 5 months ago
2009
Computers have dramatically changed the social landscape and living practices in the 21st century. Most of those changes have empowered typically abled adults, while it is only in ...