2944 search results - page 435 / 589 » On Well Quasi-orders on Languages |
173
click to vote
ICPP
2008
IEEE
16 years 28 days ago
2008
IEEE
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
165
click to vote
IEEESCC
2008
IEEE
16 years 27 days ago
2008
IEEE
Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, an...
207
click to vote
SEAA
2008
IEEE
16 years 26 days ago
2008
IEEE
Grid access methods are still dominated by command line tools or manually developed, problem specific graphical user interfaces. This fact reduces the acceptance of the Grid for ...
144
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
Symmetry reduction holds great promise to counter the state explosion problem. However, currently it is “conducting a life on the fringe”, and is not widely applied, mainly du...
193
click to vote
TASE
2008
IEEE
16 years 26 days ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...