3229 search results - page 314 / 646 » Mixing |
192
click to vote
ICWE
2007
Springer
16 years 26 days ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
175
click to vote
LPAR
2007
Springer
16 years 26 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
158
click to vote
PADL
2007
Springer
16 years 26 days ago
2007
Springer
We describe a preliminary implementation of the high-level modelling language Zinc. This language supports a modelling methodology in which the same Zinc model can be automatically...
169
click to vote
POLICY
2007
Springer
16 years 25 days ago
2007
Springer
Abstract— We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically sha...
167
click to vote
VOTEID
2007
Springer
16 years 25 days ago
2007
Springer
Kutylowski et al. have introduced a voter-verifiable electronic voting scheme ”a practical voting scheme with receipts”, which provides each voter with a receipt. The voter ca...