3239 search results - page 536 / 648 » A Logical Process Calculus |
124
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
105
click to vote
FASE
2009
Springer
15 years 4 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
ISPW
1991
IEEE
15 years 4 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
121
click to vote
HT
1987
ACM
15 years 4 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
103
Voted
FOIS
2006
15 years 2 months ago
2006
The paper analyzes how and under which assumptions it is possible to compare (in a relationist setting and relatively to qualities) entities living in different worlds. We begin wi...