2114 search results - page 184 / 423 » A model of cooperative threads |
PR
2007
13 years 10 months ago
2007
A situated approach to Markovian image segmentation is proposed based on a distributed, decentralized and cooperative strategy for model estimation. According to this approach, th...
EMNLP
2010
13 years 8 months ago
2010
Language is sensitive to both semantic and pragmatic effects. To capture both effects, we model language use as a cooperative game between two players: a speaker, who generates an...
APSEC
1996
IEEE
14 years 2 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
14 years 4 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...