1076 search results - page 108 / 216 » Operations on proofs and labels |
87
Voted
ENTCS
2006
15 years 22 days ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
105
Voted
IJNSEC
2008
15 years 21 days ago
2008
One approach to protect distributed systems implemented with mobile code is through program obfuscation. Disguising program intent is a form of information hiding that facilitates...
123
click to vote
IS
2006
15 years 20 days ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
114
Voted
JMIV
2007
15 years 18 days ago
2007
We discuss the existence of viscosity solutions for a class of anisotropic level-set methods which can be seen as an extension of the mean-curvature motion with a nonlinear anisot...
89
Voted
ML
2007
ACM
15 years 6 days ago
2007
ACM
The problem of disjoint sets, also known as union-find, consists in maintaining a partition of a finite set within a data structure. This structure provides two operations: a fu...