Sciweavers

4586 search results - page 390 / 918
» Computing stable models in parallel
Sort
View
130
Voted
DAPSYS
2004
Springer
15 years 10 months ago
Grid Solution for e-marketplaces integrated with Logistics
: Electronic marketplaces are important facilitators of today’s e-business activities. Besides substantial advantages offered by these exchange sites, emarketplaces do not work u...
Tamás Kiss, Livia Kacsukne Bruckner
CONCUR
2000
Springer
15 years 9 months ago
Typed Mobile Objects
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
WSC
2000
15 years 6 months ago
Distributed web-based simulation optimization
Web technology is having a significant impact on computer simulation. Most of the effort in web-based simulation is aimed at modeling, particularly at building simulation language...
Yuh-Chuyn Luo, Chun-Hung Chen, Enver Yücesan,...
COORDINATION
2010
Springer
15 years 5 months ago
Behavioural Contracts with Request-Response Operations
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
Lucia Acciai, Michele Boreale, Gianluigi Zavattaro
SIBGRAPI
1999
IEEE
15 years 9 months ago
Piecewise Trilinear Deformation of Tomographic Models
: In this work we introduce an iterative method that deforms brain models built from tomographic images. The deformation is used for normalization purposes: individual models are d...
Sílvio de Barros Melo