10568 search results - page 202 / 2114 » Computer Intelligence and Formalization |
108
click to vote
DAC
1994
ACM
15 years 7 months ago
1994
ACM
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
134
click to vote
SOFSEM
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
109
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language. T...
112
click to vote
CSIE
2009
IEEE
15 years 9 months ago
2009
IEEE
A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to arrive in a state in which either each of them has a pre-agreed cont...