913 search results - page 50 / 183 » Full Abstraction for Linda |
103
Voted
ATAL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
101
Voted
JUCS
2000
15 years 12 days ago
2000
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...
108
Voted
SUM
2010
Springer
14 years 10 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
132
click to vote
ASPLOS
2004
ACM
15 years 6 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
99
Voted
MICCAI
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Obtaining high quality patient-specific flow velocity information is not an easy task. Available clinical data are usually poorly resolved and contain a significant amoun...