1438 search results - page 241 / 288 » Relational aspects as tracematches |
AI
2002
Springer
14 years 11 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...
CERA
2004
14 years 11 months ago
2004
Concurrent engineering (CE) design demands the consideration of product life-cycle issues in the early product design stage. Among various life-cycle issues, this work concentrate...
CN
2004
14 years 11 months ago
2004
This paper is a summary of the BBN Technical Report No. 8333, "Explicit Transport Error Notification for Error-Prone Wireless and Satellite Networks." In this study we di...
CANDC
2002
ACM
14 years 11 months ago
2002
ACM
We describe QSketcher, a new environment for composing music for film. The main design focus is the support of the early stages of the creative workflow, from idea conception thro...
124
click to vote
CL
2002
Springer
14 years 11 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...