5639 search results - page 758 / 1128 » Timed Abstract Non-interference |
307
click to vote
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A framework, PISA, for conducting dialogues to resolve disputes concerning the correct categorisation of particular cases, is described. Unlike previous systems to conduc...
165
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A distributed system is fault-tolerant if it continues to perform correctly even when a subset of the processes becomes faulty. Faulttolerance is highly desirable but oft...
166
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Enterprise Architecture (EA) models provide information on the fundamental as-is structure of a company or governmental agency and thus serve as an informational basis fo...
158
click to vote
COCOA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study Facility Location games played by n agents situated on the nodes of a graph. Each agent orders installation of a facility at a node of the graph and pays connect...
160
click to vote
COCOON
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The Sugiyama framework is the most commonly used concept for visualizing directed graphs. It draws them in a hierarchical way and operates in four phases: cycle removal, ...