3558 search results - page 550 / 712 » Object-Oriented Programming on the Network |
160
click to vote
PDP
2005
IEEE
16 years 1 days ago
2005
IEEE
Boolean Equation Systems (BESs) allow to represent various problems encountered in the area of propositional logic programming and verification of concurrent systems. Several seq...
159
click to vote
WMTE
2005
IEEE
16 years 1 days ago
2005
IEEE
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
141
click to vote
HASKELL
2005
ACM
16 years 1 days ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
174
click to vote
CCS
2005
ACM
16 years 16 hour ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
160
click to vote
CP
2005
Springer
16 years 12 hour ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...