1445 search results - page 142 / 289 » Uniformly Hard Languages |
140
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
117
click to vote
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
The new design challenges imposed by the increasing difficulties of today’s electronic systems obligated designers to develop new methodologies. System-level design and Platfor...
144
click to vote
TCC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We establish new lower bounds and impossibility results for noninteractive zero-knowledge proofs and arguments with set-up assumptions. – For the common random string m...
124
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
145
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...