31387 search results - page 450 / 6278 » Abstracts |
160
click to vote
APL
1995
ACM
15 years 11 months ago
1995
ACM
The behavior of one and two dimensional automata are displayed in two and three dimensions and via animations. Implementations of finite automata in J using "infix" and ...
175
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
198
click to vote
APLAS
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
175
click to vote
CRYPTO
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We introduce new and general complexity theoretic hardumptions. These assumptions abstract out concrete properties of a random oracle and are significantly stronger than ...
121
click to vote
COLING
2008
15 years 9 months ago
2008
This paper presents recent advances in an established treebank annotation framework comprising of an abstract XMLbased data format, fully customizable editor of tree-based annotat...