12774 search results - page 354 / 2555 » A Framework for Proof Systems |
178
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
175
Voted
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
183
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
185
click to vote
CIIA
2009
15 years 8 months ago
2009
Because biometrics-based authentication offers several advantages face to other authentication methods, it is important that such systems be designed to withstand attacks. Reliabil...
173
click to vote
IJSYSC
2006
15 years 6 months ago
2006
: A backlash compensator is designed for nonlinear systems using the fuzzy logic. The classification property of fuzzy logic systems makes them a natural candidate for the rejectio...