733 search results - page 37 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
206
Voted
CBSE
2011
Springer
14 years 3 months ago
2011
Springer
Orphan requests are a signiļ¬cant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...
130
Voted
IPSN
2010
Springer
15 years 10 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can aļ¬...
121
Voted
IFIP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
139
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
122
Voted
SEKE
2001
Springer
15 years 8 months ago
2001
Springer
ct 7 Applying ļ¬nite-state veriļ¬cation techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...