1209 search results - page 134 / 242 » Universal Algebra and Computer Science |
115
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
122
Voted
MFCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
109
click to vote
MFCS
2005
Springer
15 years 8 months ago
2005
Springer
In the maximum solution equation problem a collection of equations are given over some algebraic structure. The objective is to find an assignment to the variables in the equation...
129
click to vote
IWFM
1998
15 years 4 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
122
click to vote
WMTE
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we present our ongoing research about the integration of ubiquitous computing systems into classroom settings, in order to give basic support for some classroom and ...