4586 search results - page 390 / 918 » Computing stable models in parallel |
130
Voted
DAPSYS
2004
Springer
15 years 10 months 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...
154
click to vote
CONCUR
2000
Springer
15 years 9 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 ...
122
click to vote
WSC
2000
15 years 6 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...
123
click to vote
COORDINATION
2010
Springer
15 years 5 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...
147
click to vote
SIBGRAPI
1999
IEEE
15 years 9 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...