4344 search results - page 646 / 869 » The resourcefulness of everyday design |
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
UCS
2007
Springer
14 years 3 months ago
2007
Springer
In many Ubicomp scenarios tiny wireless embedded sensor devices are used, and devices often collaborate to accomplish a common goal. This paper presents a group formation method de...
ASWEC
2006
IEEE
14 years 3 months ago
2006
IEEE
Over-the-air (OTA) delivery of applications is important to support as it enables easy deployment and upgrades to applications, thereby reducing the disrupting effect which instal...
CBMS
2006
IEEE
14 years 3 months ago
2006
IEEE
Identity management and federation is becoming an ever present problem in large multi-institutional environments. By their nature, Grids span multiple institutional administration...