1445 search results - page 130 / 289 » Uniformly Hard Languages |
113
Voted
ICFCA
2007
Springer
15 years 10 months ago
2007
Springer
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
140
click to vote
CRYPTO
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public stri...
123
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
111
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
135
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...