6355 search results - page 1090 / 1271 » From Logic to Games |
169
click to vote
AUSAI
2005
Springer
16 years 3 days ago
2005
Springer
This paper addresses the problem of scheduling jobs in soft real-time systems, where the utility of completing each job decreases over time. We present a utility-based framework fo...
156
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
167
click to vote
BPM
2005
Springer
16 years 3 days ago
2005
Springer
Healthcare processes require the cooperation of different organizational units and medical disciplines. In such an environment optimal process support becomes crucial. Though hea...
179
click to vote
CAISE
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
160
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...