653 search results - page 27 / 131 » Implications of a Data Structure Consistency Checking System |
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
106
Voted
ISTA
2003
15 years 1 months ago
2003
: With the increasing amount of information available on the Internet one of the most challenging tasks is to provide search interfaces that are easy to use without having to learn...
HICSS
2006
IEEE
15 years 5 months ago
2006
IEEE
The study investigates the role of ICT in facilitating democracy. The role of ICT in maintaining status quo, or structure of the society can be explained using structuration theor...
107
click to vote
SODA
1997
ACM
15 years 1 months ago
1997
ACM
Given a collection S of n line segments in the plane, the planar point location problem is to construct a data structure that can e ciently determine for a given query point p the...
108
click to vote
SCP
2010
14 years 10 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...