1402 search results - page 228 / 281 » A Practical Agent Programming Language |
113
click to vote
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
It is common to imbed business rules within the code of distributed object systems. When business practices and/or policies change, as they often do, it is difficult if not imposs...
124
click to vote
ICALP
1999
Springer
15 years 6 months ago
1999
Springer
The original stable marriage problem requires all men and women to submit a complete and strictly ordered preference list. This is obviously often unrealistic in practice, and seve...
107
click to vote
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
Health care is a complex and transnational task of societies. The various institutions and individuals involved are not and should not be governed by one central authority, but ha...
104
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
128
click to vote
IFIP
2009
Springer
15 years 4 days ago
2009
Springer
Cryptographic protocols can only be secure under certain inequality assumptions. Axiomatizing these inequalities explicitly is problematic: stating too many inequalities may impair...