10568 search results - page 182 / 2114 » Computer Intelligence and Formalization |
127
click to vote
ICCS
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
125
click to vote
AINA
2004
IEEE
15 years 6 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
133
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
103
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
136
click to vote
ICPP
2003
IEEE
15 years 8 months ago
2003
IEEE
Multi agent systems, Grid technology, Semantic Web, and Web Intelligence paradigm are three modern approaches in information technologies, which we put together in our research eff...