10055 search results - page 266 / 2011 » Structured programming using processes |
101
Voted
FPL
2007
Springer
15 years 6 months ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
95
Voted
AAAI
2007
15 years 2 months ago
2007
A key problem when forming effective coalitions of autonomous agents is determining the best groupings, or the optimal coalition structure, to select to achieve some goal. To this...
121
Voted
IUI
2005
ACM
15 years 6 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
118
click to vote
CIKM
2004
Springer
15 years 5 months ago
2004
Springer
Document-centric XML collections contain text-rich documents, marked up with XML tags that add lightweight semantics to the text. Querying such collections calls for a hybrid quer...
104
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...