3771 search results - page 364 / 755 » Subobject Transformation Systems |
225
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
112
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
153
click to vote
ICCBR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a case-based reasoning technique based on conceptual neighborhoods of cases. The system applies domain knowledge to the case retrieval process in the form of r...
147
click to vote
MDM
2007
Springer
15 years 11 months ago
2007
Springer
This demonstration presents iPDA, a system to support privacy-preserving data access in location-based mobile services. The iPDA system consists of three main components: 1) a mob...
131
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a SAT-based approach to the task and message allocation problem of distributed real-time systems with hierarchical architectures. In contrast to the heuristic approache...