8947 search results - page 1431 / 1790 » Improving software quality |
171
click to vote
CHES
2005
Springer
16 years 10 days ago
2005
Springer
Although identity based cryptography offers many functional advantages over conventional public key alternatives, the computational costs are significantly greater. The core comp...
168
click to vote
CLEF
2005
Springer
16 years 10 days ago
2005
Springer
This paper reports on our participation in CLEF 2005‘s ad-hoc multi-lingual retrieval track. The ad-hoc task introduced Bulgarian and Hungarian as new languages. Our experiments...
183
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
169
click to vote
ICFEM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
203
click to vote
LCPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...