Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
JUCS
2007
77views more  JUCS 2007»
11 years 9 months ago
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
JUCS
2007
95views more  JUCS 2007»
11 years 9 months ago
Formal Methods Guest Editorial
: This introductory paper gives some historical background to the emergence of formal methods, overviews what subsequently happened, and surveys prospects for the future. Brief
Richard Banach
JUCS
2007
95views more  JUCS 2007»
11 years 9 months ago
A First Step Mapping IMS Learning Design and Moodle
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
Daniel Burgos, Colin Tattersall, Martin Dougiamas,...
JUCS
2007
90views more  JUCS 2007»
11 years 9 months ago
High-level Structured Interactive Programs with Registers and Voices
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
Alexandru Popa, Alexandru Sofronia, Gheorghe Stefa...
JUCS
2007
106views more  JUCS 2007»
11 years 9 months ago
An Ontology-based Approach to Support Text Mining and Information Retrieval in the Biological Domain
: This paper describes an ontology-based approach aiming at helping biologists to annotate their documents and at facilitating their information retrieval task. Our approach, based...
Khaled Khelif, Rose Dieng-Kuntz, Pascal Barbry
JUCS
2007
101views more  JUCS 2007»
11 years 9 months ago
Applications of Formal Methods to System Design and Verification
Farhad Arbab, Marjan Sirjani
JUCS
2007
99views more  JUCS 2007»
11 years 9 months ago
Spectral Densest Subgraph and Independence Number of a Graph
: In this paper, we study spectral versions of the densest subgraph problem and the largest independence subset problem. In the first part, we give an algorithm for identifying sm...
Reid Andersen, Sebastian M. Cioaba
JUCS
2007
87views more  JUCS 2007»
11 years 9 months ago
The Gray Code
Abstract: Here we summarise the properties and algorithms of the Gray code. Descriptions are given of the Gray code definition, algorithms and circuits for generating the code and...
Robert W. Doran
JUCS
2007
148views more  JUCS 2007»
11 years 9 months ago
Analysis of two Sweep-line Algorithms for Constructing Spanning Trees and Steiner Trees
: We give a tight analysis of an old and popular sweep-line heuristic for constructing a spanning tree of a set of n points in the plane. The algorithm sweeps a vertical line acros...
Adrian Dumitrescu, Csaba D. Tóth
JUCS
2007
208views more  JUCS 2007»
11 years 9 months ago
The Architecture and Circuital Implementation Scheme of a New Cell Neural Network for Analog Signal Processing
: It is a difficult problem that using cellular neural network to make up of analog signal processing circuit. This paper presented the architecture of new cellular neural network ...
Youren Wang, Zhiqiang Zhang, Jiang Cui
books