162 search results - page 24 / 33 » A Rule System for Network-Centric Operation in Massively Dis... |
WOLLIC
2010
Springer
14 years 17 days ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
ICSE
2010
IEEE-ACM
14 years 9 days ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Mobility is redefining the hardware and software fabric of distributed systems. Wireless communication allows network hosts to participate in a distributed computation while on t...
DEBS
2003
ACM
14 years 23 days ago
2003
ACM
Database systems have been designed to manage business critical information and make this information accessible on request to connected clients. There is, however, an ever-increa...
WADT
1998
Springer
13 years 11 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...