6794 search results - page 1112 / 1359 » Semantics of Visual Languages |
120
click to vote
WSC
2008
15 years 6 months ago
2008
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
140
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
130
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
129
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
129
click to vote
CIE
2008
Springer
15 years 6 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...