82
Voted
JUCS
2007
15 years 19 days ago
2007
: This paper outlines the emergence of formal techniques, explaining why they were slow to take on an industrially acceptable form. The contemporary scene, in which formal techniqu...
93
Voted
JUCS
2007
15 years 19 days ago
2007
: The impact of the Internet on Society also affects learning at University. Students use not only printed books and their own notes, but also the information available on the Net...
61
Voted
JUCS
2007
15 years 19 days ago
2007
88
Voted
JUCS
2007
15 years 19 days ago
2007
: The WWW is currently experiencing a revolutionary growth due to its increasing participative community software applications. This paper highlights an emerging application develo...
96
Voted
JUCS
2007
15 years 19 days ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
70
Voted
JUCS
2007
15 years 19 days ago
2007
113
Voted
JUCS
2007
15 years 19 days ago
2007
: Evolvable Hardware (EHW) is a new concept that aims the application of evolutionary algorithms to hardware design. EHW can adapt itself to unknown environment based on features o...
100
Voted
JUCS
2007
15 years 19 days ago
2007
: IMS Learning Design (IMS LD) is an interoperable and standardized language that enables the computational representation of Units of Learning (UoLs). However, its adoption and ex...
93
Voted
JUCS
2007
15 years 19 days ago
2007
At Eurocrypt 2005, Boneh, Boyen and Goh presented a constant size ciphertext hierarchical identity based encryption (HIBE) protocol. Our main contribution is to present a variant ...
117
Voted
JUCS
2007
15 years 19 days ago
2007
Abstract: Ranking is a ubiquitous requirement whenever we confront a large collection of atomic or interrelated artifacts. This paper elaborates on this issue for the case of RDF s...