6274 search results - page 720 / 1255 » Proofs, Programs, Processes |
170
click to vote
ICALP
2004
Springer
16 years 13 days ago
2004
Springer
We describe a simple but expressive calculus of sequential processes, represented as coroutines. We show that this calculus can be used to express a variety of programming languag...
204
click to vote
IEAAIE
2004
Springer
16 years 12 days ago
2004
Springer
Learning systems have been devised as a way of overcoming the knowledge acquisition bottleneck in the development of knowledge-based systems. They often cast learning to a search p...
162
click to vote
CSMR
2003
IEEE
16 years 10 days ago
2003
IEEE
Software services are being promoted as the next big step forward in software engineering.. Inevitably, both service vendor and service client programs will require maintenance. W...
223
click to vote
IAT
2003
IEEE
16 years 10 days ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...
194
click to vote
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...