Sciweavers

4889 search results - page 404 / 978
» A Refactoring Approach to Parallelism
Sort
View
140
Voted
MIDDLEWARE
2005
Springer
15 years 10 months ago
Service-oriented device communications using the devices profile for web services
This paper outlines the benefits of adopting serviceoriented architectures at the level of communications between resource-constrained embedded devices, in particular for industri...
François Jammes, Antoine Mensch, Harm Smit
GECCO
2004
Springer
166views Optimization» more  GECCO 2004»
15 years 10 months ago
Evolutionary Ensemble for Stock Prediction
We propose a genetic ensemble of recurrent neural networks for stock prediction model. The genetic algorithm tunes neural networks in a two-dimensional and parallel framework. The ...
Yung-Keun Kwon, Byung Ro Moon
143
Voted
LCPC
2004
Springer
15 years 10 months ago
A Practical MHP Information Analysis for Concurrent Java Programs
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
Lin Li, Clark Verbrugge
CONCUR
2003
Springer
15 years 10 months ago
Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Paulo Mateus, John C. Mitchell, Andre Scedrov
131
Voted
ICECCS
1997
IEEE
102views Hardware» more  ICECCS 1997»
15 years 9 months ago
Problem complexity
An approach to problem analysis is described, based on the notion of a problem frame. Problem frames are intended to capture classes of recognisable and soluble problems. Because ...
Michael Jackson