Sciweavers

JUCS
2010
130views more  JUCS 2010»
12 years 11 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
JUCS
2010
162views more  JUCS 2010»
12 years 11 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
JUCS
2010
109views more  JUCS 2010»
12 years 11 months ago
Semantics of Query-Driven Communication of Exact Values
: We address the question of how to communicate among distributed processes values such as real numbers, continuous functions and geometrical solids with arbitrary precision, yet e...
Michal Konecný, Amin Farjudian
JUCS
2010
110views more  JUCS 2010»
12 years 11 months ago
On Choice Principles and Fan Theorems
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
Hannes Diener, Peter Schuster
JUCS
2010
109views more  JUCS 2010»
12 years 11 months ago
An MDA Approach for Goal-oriented Requirement Analysis in Web Engineering
José Alfonso Aguilar, Irene Garrigós...
JUCS
2010
168views more  JUCS 2010»
12 years 11 months ago
Extraction of Contextualized User Interest Profiles in Social Sharing Platforms
: Along with the emergence of the Web 2.0, E-learning more often takes place in open environments such as wikis, blogs, and resource sharing platforms. Nowadays, many companies dep...
Rafael Schirru, Stephan Baumann, Martin Memmel, An...
JUCS
2010
93views more  JUCS 2010»
12 years 11 months ago
Multimedia Services and Applications
Sajid Hussain, Geyong Min, Jianhua Ma, Jong Hyuk P...
JUCS
2010
176views more  JUCS 2010»
12 years 11 months ago
Integrating Personal Web Data through Semantically Enhanced Web Portal
: Currently, the World Wide Web is mostly composed of isolated and loosely connected "data islands". Connecting them together and retrieving only the information that is ...
Lidia Rovan, Tomislav Jagust, Mirta Baranovic
JUCS
2010
93views more  JUCS 2010»
12 years 11 months ago
Refinement and Extension of SMDM, a Method for Defining Valid Measures
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
Luis Reynoso, Marcela Genero, Mario Piattini
JUCS
2010
155views more  JUCS 2010»
12 years 11 months ago
Watermarking Techniques for Relational Databases: Survey, Classification and Comparison
Abstract: Digital watermarking for relational databases emerged as a candidate solution to provide copyright protection, tamper detection, traitor tracing, maintaining integrity of...
Raju Halder, Shantanu Pal, Agostino Cortesi