8874 search results - page 233 / 1775 » A New Implementation of Automath |
153
Voted
GEM
2009
15 years 2 months ago
2009
Self-organizing systems could serve as a solution for many technical problems where properties like robustness, scalability, and adaptability are required. However, despite all the...
159
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: By means of RDFa it is possible to embed semantic meaning into standard XHTML web pages. Using the meaning, we provide content-sensitive user interfaces for web pages int...
168
Voted
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Changing business requirements such as providing new business services lead to an ongoing need for fast and flexible adaptation of the underlying information systems and infrastr...
158
Voted
HCI
2009
15 years 2 months ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
145
Voted
IADIS
2009
15 years 2 months ago
2009
In this paper, we propose a new architecture for diabetes patients. These applications allow the monitoring, patient selfcontrol and communication between patient and doctor. More...