Sciweavers

561 search results - page 72 / 113
» Research in Software Engineering: Paradigms and Methods
Sort
View
ICST
2009
IEEE
14 years 2 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
CISIS
2008
IEEE
14 years 2 months ago
Evolving Turbo Code Interleavers by Genetic Algorithms
Since the appearance in 1993, first approaching the Shannon limit, the Turbo Codes gave a new direction for the channel encoding field, especially since they were adopted for mult...
Ajith Abraham, Pavel Krömer, Václav Sn...
AMOST
2005
ACM
14 years 1 months ago
A simulation model of a multi-server EJB system
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
David McGuinness, Liam Murphy
ASWEC
2004
IEEE
13 years 11 months ago
Obstacles to a Totally Functional Programming Style
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
Paul A. Bailes, Colin J. M. Kemp
FSTTCS
2000
Springer
13 years 11 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...