6607 search results - page 275 / 1322 » Making TeX Work |
137
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
132
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: With information infrastructures getting more and more complex, it becomes necessary to give automated support for managing the evolution of the infrastructure. If change...
128
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
129
click to vote
COREGRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Following earlier work demonstrating the utility of Orc as a means of specifying and reasoning about grid applications we propose the enhancement of such specifications w...
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Ever since the first fishermen ventured into the sea, tides have been the subject of intense human observation. As a result computational models and ‘tide predicting machines...