1438 search results - page 190 / 288 » Relational aspects as tracematches |
169
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current access control schemes focus on the user and their rights and privileges relating to the access to both initiating functionality and accessing information. This approach...
183
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—We describe the design of an autonomous agent that can teach itself how to translate from a foreign language, by first assembling its own training set, then using it to improve...
179
click to vote
LICS
2009
IEEE
16 years 29 days ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
152
click to vote
BPM
2009
Springer
16 years 28 days ago
2009
Springer
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
165
click to vote
CSL
2009
Springer
16 years 27 days ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...