8083 search results - page 1247 / 1617 » A Formalization of Software Architecture |
157
Voted
CCR
2007
15 years 6 months ago
2007
Rural Internet kiosks in developing regions can cost-effectively provide communication and e-governance services to the poorest sections of society. A variety of technical and no...
180
click to vote
JNW
2008
15 years 6 months ago
2008
Service personalization is an important goal for any smart environment. Comfort systems may be adjusted in an automatic way when a given user is present, and multimedia devices may...
165
click to vote
JFR
2006
15 years 6 months ago
2006
This paper describes the implementation and testing of Alice, the California Institute of Technology's entry in the 2005 DARPA Grand Challenge. Alice utilizes a highly networ...
232
click to vote
JHSN
2006
15 years 6 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
178
click to vote
AICOM
2005
15 years 6 months ago
2005
SIADEX is a complex framework that integrates several AI techniques able to design fighting plans against forest fires. It is based on four main components, a web server, that cent...