3256 search results - page 180 / 652 » Applications of Formal Methods to System Design and Verifica... |
197
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
175
click to vote
CISC
2007
Springer
16 years 18 days ago
2007
Springer
We formalize a generic method of constructing efficient group signatures, specifically, we define new notions of unlinkable randomizable signature, indirectly signable signature ...
162
click to vote
TCSV
2008
15 years 6 months ago
2008
Look-up table (LUT)-based data hiding is a simple and efficient technique to hide secondary information (watermark) into multimedia work for various applications such as copyright ...
163
click to vote
ENTCS
2006
15 years 6 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
165
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...