10271 search results - page 520 / 2055 » Computer Science |
150
click to vote
GI
2005
Springer
16 years 1 days ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
190
Voted
GI
2005
Springer
16 years 1 days ago
2005
Springer
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
144
click to vote
STACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. ...
158
click to vote
WG
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We model a problem proposed by Alcatel, a satellite building company, using improper colourings of graphs. The relation between improper colourings and maximum average de...
163
click to vote
WG
2005
Springer
15 years 12 months ago
2005
Springer
Broadcast domination was introduced by Erwin in 2002, and it is a variant of the standard dominating set problem, such that vertices can be assigned various domination powers. Broa...