JUCS
2007
13 years 11 months 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...
JUCS
2007
13 years 11 months 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...
JUCS
2007
13 years 11 months ago
2007
JUCS
2007
13 years 11 months 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...
JUCS
2007
13 years 11 months 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...
JUCS
2007
13 years 11 months ago
2007
JUCS
2007
13 years 11 months 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...
JUCS
2007
13 years 11 months 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...
JUCS
2007
13 years 11 months 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 ...
JUCS
2007
13 years 11 months 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...