2679 search results - page 45 / 536 » Experimental Models for Validating Technology |
80
Voted
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we examine how the task of creating usable websites can be made more efficient. Models and generation of websites have been a central issue for Web Engineering over ...
CAISE
2006
Springer
15 years 2 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
91
Voted
PETRA
2009
ACM
15 years 7 months ago
2009
ACM
In Italy, the service of Pediatric oncology is very centralized and granted by high-specialized medical structures. In the Italian Regione Campania there are just few of such medi...
129
Voted
MICRO
2008
IEEE
15 years 7 months ago
2008
IEEE
— As semiconductor processing techniques continue to scale down, transient faults, also known as soft errors, are increasingly becoming a reliability threat to high-performance m...
110
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
The contribution presents a multi-agent technology in the domain of the air-traffic control of several autonomous aerial vehicles (manned as well as unmanned). The system has been...