3865 search results - page 597 / 773 » From Bidirectionality to Alternation |
166
click to vote
QEST
2007
IEEE
16 years 25 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
142
click to vote
MLG
2007
Springer
16 years 21 days ago
2007
Springer
We give a universal kernel that renders all the regular languages linearly separable. We are not able to compute this kernel efficiently and conjecture that it is intractable, but...
155
click to vote
OOPSLA
2007
Springer
16 years 21 days ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
172
click to vote
GLOBECOM
2006
IEEE
16 years 18 days ago
2006
IEEE
We investigate a cooperative communications scheme with N parallel relays, where both the transmissions from the source to the relays and from the relays to the destination use fo...
161
click to vote
ICPADS
2006
IEEE
16 years 18 days ago
2006
IEEE
Many of the data-centric network services deployed today hold massive volumes of data at their origin websites, and access the data to dynamically generate responses to user reque...