523 search results - page 76 / 105 » A Formal Account of WS-BPEL |
ICCAD
2005
IEEE
14 years 2 months ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
KCAP
2005
ACM
14 years 2 months ago
2005
ACM
Our ongoing work aims at defining an ontology-centered approach for building expertise models for the CommonKADS methodology. This approach (which is named "OntoKADS") i...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
Vulnerabilities that allow worms to hijack the control flow of each host that they spread to are typically discovered months before the worm outbreak, but are also typically disc...
ICDT
2005
ACM
14 years 2 months ago
2005
ACM
We present a formal analysis of the database layout problem, i.e., the problem of determining how database objects such as tables and indexes are assigned to disk drives. Optimizin...