1350 search results - page 149 / 270 » Reasoning about Staged Computation |
143
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
158
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
167
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
The ability to detect ambiguities in context-free grammars is vital for their use in several fields, but the problem is undecidable in the general case. We present a safe, conser...
155
Voted
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Abstract. A common approach to XML updates is to extend XQuery with update operations. This approach results in very expressive languages which are convenient for users but are dif...
135
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...