Sciweavers

Share
JUCS
2006
100views more  JUCS 2006»
8 years 10 months ago
Expressing Workflow Patterns for Web Services: The Case of PEWS
: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...
Martin A. Musicante, Edinardo Potrich
JUCS
2006
123views more  JUCS 2006»
8 years 10 months ago
Detecting Bad Smells in AspectJ
: This paper defines algorithms to automatically detect five types of bad smells that occur in aspect-oriented systems, more specifically those written using the AspectJ language. ...
Eduardo Kessler Piveta, Marcelo Hecht, Marcelo Soa...
JUCS
2006
109views more  JUCS 2006»
8 years 10 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
JUCS
2006
87views more  JUCS 2006»
8 years 10 months ago
Eliminating Redundant Join-Set Computations in Static Single Assignment
: The seminal algorithm developed by Ron Cytron, Jeanne Ferrante and colleagues in 1989 for the placement of -nodes in a control flow graph is still widely used in commercial compi...
Angela French, José Nelson Amaral
JUCS
2006
91views more  JUCS 2006»
8 years 10 months ago
Creation and Evaluation of Fuzzy Knowledge-base
: In this paper we give a possible model for handling uncertain information. The concept of fuzzy knowledge-base will be defined as a quadruple of any background knowledge, defined...
Ágnes Achs
JUCS
2006
73views more  JUCS 2006»
8 years 10 months ago
Strong Mobility in Mobile Haskell
André Rauber Du Bois, Philip W. Trinder, Ha...
JUCS
2006
69views more  JUCS 2006»
8 years 10 months ago
Developing on Exact Quality and Classification System for Plant Improvement
József Berke, Zsolt Polgár, Zolt&aac...
JUCS
2006
92views more  JUCS 2006»
8 years 10 months ago
Program Slicing by Calculation
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
Nuno F. Rodrigues, Luís Soares Barbosa
JUCS
2006
89views more  JUCS 2006»
8 years 10 months ago
Process Equivalences as Global Bisimulations
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
books