4586 search results - page 390 / 918 » Computing stable models in parallel |
166
click to vote
DAPSYS
2004
Springer
16 years 6 days ago
2004
Springer
: Electronic marketplaces are important facilitators of today’s e-business activities. Besides substantial advantages offered by these exchange sites, emarketplaces do not work u...
207
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
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 ...
161
click to vote
WSC
2000
15 years 8 months ago
2000
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...
170
click to vote
COORDINATION
2010
Springer
15 years 7 months ago
2010
Springer
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...
177
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
: 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...