Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
JUCS
2007
94views more  JUCS 2007»
11 years 9 months ago
Automated Formal Methods Enter the Mainstream
: 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...
John M. Rushby
JUCS
2007
74views more  JUCS 2007»
11 years 9 months ago
A WebQuest Framework to Improve the Study of Deadlock and Process Synchronization
: 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...
Luis Panizo, Ramón-Ángel Ferná...
JUCS
2007
75views more  JUCS 2007»
11 years 9 months ago
Creating Online Graduate Engineering Degrees at the University of New Mexico
Gregory L. Heileman, Chaouki T. Abdallah, Wei Shu,...
JUCS
2007
89views more  JUCS 2007»
11 years 9 months ago
Mashups: Emerging Application Development Paradigm for a Digital Journal
: The WWW is currently experiencing a revolutionary growth due to its increasing participative community software applications. This paper highlights an emerging application develo...
Narayanan Kulathuramaiyer
JUCS
2007
129views more  JUCS 2007»
11 years 9 months ago
Constraint Programming Architectures: Review and a New Proposal
: 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...
Jacques Robin, Jairson Vitorino, Armin Wolf
JUCS
2007
150views more  JUCS 2007»
11 years 9 months ago
Co-evolution for Communication: An EHW Approach
: 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...
Yasser Baleghi Damavandi, Karim Mohammadi
JUCS
2007
97views more  JUCS 2007»
11 years 9 months ago
A Framework for the Conceptualization of Approaches to "Create-by-Reuse" of Learning Design Solutions
: 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...
Davinia Hernández Leo, Andreas Harrer, Juan...
JUCS
2007
96views more  JUCS 2007»
11 years 9 months ago
Constant Size Ciphertext HIBE in the Augmented Selective-ID Model and its Extensions
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 ...
Sanjit Chatterjee, Palash Sarkar
JUCS
2007
109views more  JUCS 2007»
11 years 9 months ago
On Ranking RDF Schema Elements (and its Application in Visualization)
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...
Yannis Tzitzikas, Dimitris Kotzinos, Yannis Theoha...
books