2711 search results - page 430 / 543 » Stochastic Hybrid Systems: Application to Communication Netw... |
168
click to vote
MOBIDE
2003
ACM
15 years 11 months ago
2003
ACM
Optimistic replication approaches are often employed on mobile devices, which raises the need for reconciliation of concurrently modified data. We propose that three-way merging ...
155
click to vote
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
150
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Most cryptographic algorithms provide a means for secret and authentic communication. However, under many circumstances, the ability to repudiate messages or deny a conversation i...
184
click to vote
SECON
2007
IEEE
16 years 21 days ago
2007
IEEE
—Recent progress in Wireless Sensor Networks technology has enabled many complicated real-world applications. Some of the applications demand a non-trivial amount of computation;...
173
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...