8810 search results - page 451 / 1762 » Openness |
157
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
176
click to vote
OHS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Construct development environment is targeted at the construction of different types of hypermedia services. The primary goal of the environment is to ease the constr...
159
click to vote
POS
2000
Springer
15 years 10 months ago
2000
Springer
Orthogonal persistence opens up the possibility for a number of applications. We present an approach for easily enabling transparent orthogonal persistence, basically on top of a m...
169
click to vote
COMPGEOM
1995
ACM
15 years 10 months ago
1995
ACM
We consider the problem of reporting the pairwise enclosures in a set of n axesparallel rectangles in IR2, which is equivalent to reporting dominance pairs in a set of n points in...
156
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— We prove that a controllable set of smooth trajectories is the solution set of a constant coefficient linear differential equation if and only if it is linear, time in...