17018 search results - page 145 / 3404 » From the How to the What |
ADAEUROPE
1998
Springer
14 years 1 months ago
1998
Springer
This paper describes an automated approach for generating Ada bindings from Java class files. We start with the set of Java features that require a visible Ada binding, and an Ada ...
RE
2004
Springer
14 years 2 months ago
2004
Springer
The software industry is more than ever facing the challenge of delivering WYGIWYW software (What You Get Is What You Want). A well-structured document specifying adequate, comple...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
ECSQARU
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Advances in location-enhanced technology are making it easier for us to be located by others. These new technologies present a difficult privacy tradeoff, as disclosing one's...