999 search results - page 108 / 200 » Constraints in Non-Boolean Contexts |
148
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
Recently proposed form-based web information systems liberate the capture and reuse of data in organizations by substituting the development of technical implementations of electr...
162
click to vote
ALT
2008
Springer
16 years 3 months ago
2008
Springer
It is investigated for which choice of a parameter q, denoting the number of contexts, the class of simple external contextual languages is iteratively learnable. On one hand, the ...
167
click to vote
VMCAI
2009
Springer
16 years 29 days ago
2009
Springer
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
155
click to vote
CBSE
2009
Springer
16 years 23 days ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
169
click to vote
IFM
2009
Springer
16 years 23 days ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...