1438 search results - page 234 / 288 » An Expressive Extension of TLC |
87
Voted
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
ESOP
2009
Springer
15 years 5 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
119
Voted
SACMAT
2009
ACM
15 years 4 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
The capacity gain of network coding has been extensively studied in wired and wireless networks. Recently, it has been shown that network coding improves network reliability by re...
89
Voted
ICDCS
2007
IEEE
15 years 4 months ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...