4488 search results - page 536 / 898 » Properties of NP-Complete Sets |
202
click to vote
SEFM
2003
IEEE
16 years 25 days ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
238
click to vote
CONCUR
2003
Springer
16 years 24 days ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
166
click to vote
EMSOFT
2003
Springer
16 years 23 days ago
2003
Springer
Since the first results published in 1973 by Liu and Layland on the Rate Monotonic (RM) and Earliest Deadline First (EDF) algorithms, a lot of progress has been made in the schedu...
189
click to vote
FM
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
198
click to vote
ACSAC
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract—Various cryptographic puzzle schemes are proposed as a defense mechanism against denial of service attack. But, all these puzzle schemes face a dilemma when there is a l...