Sciweavers

4719 search results - page 521 / 944
» Spreadsheet functional programming
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 10 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
GECCO
2003
Springer
128views Optimization» more  GECCO 2003»
15 years 10 months ago
Evolving Consensus Sequence for Multiple Sequence Alignment with a Genetic Algorithm
In this paper we present an approach that evolves the consensus sequence [25] for multiple sequence alignment (MSA) with genetic algorithm (GA). We have developed an encoding schem...
Conrad Shyu, James A. Foster
ISMAR
2002
IEEE
15 years 10 months ago
A Pragmatic Approach to Augmented Reality Authoring
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
Matthias Haringer, Holger Regenbrecht
139
Voted
ICALP
2010
Springer
15 years 10 months ago
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
Higher-order process calculi are calculi in which processes can be communicated. We study the expressiveness of strictly higher-order process calculi, and focus on two issues well-...
Ivan Lanese, Jorge A. Pérez, Davide Sangior...
118
Voted
IFIP
2009
Springer
15 years 9 months ago
Reference Model for Performance Management in Service-Oriented Virtual Organization Breeding Environments
Performance management (PM) is a key function of virtual organization (VO) management. A large set of PM indicators has been proposed and evaluated within the context of virtual br...
Zbigniew Paszkiewicz, Willy Picard