535 search results - page 57 / 107 » Formalization of Legislative Documents Based on a Functional... |
104
click to vote
EGOV
2008
Springer
14 years 11 months ago
2008
Springer
During the last decades eGovernment has been a vivid, dynamic research and development area. As services are being transformed, electronic documents and web services appear every d...
APSEC
2008
IEEE
14 years 11 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
WEBDB
1999
Springer
15 years 2 months ago
1999
Springer
Accessing and integrating data from heterogeneous sources has become a significant challenge. So-called adapters provide the functionality for translating SQL queries into querie...
108
click to vote
CSFW
2012
IEEE
13 years 6 days ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
WSC
1998
14 years 11 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...