5639 search results - page 960 / 1128 » Timed Abstract Non-interference |
104
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
We study the set of all pseudoline arrangements with contact points which cover a given support. We define a notion of flip which transforms a pseudoline arrangement with contact...
121
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
—To harness the ever growing capacity and decreasing cost of storage, providing an abstraction of dependable storage in the presence of crash-stop and Byzantine failures is compu...
103
click to vote
CORR
2010
Springer
15 years 16 days ago
2010
Springer
Abstract—Carrier Sense Multiple Access with Enhanced Collision Avoidance (CSMA/ECA) is a distributed MAC protocol that allows collision-free access to the medium in WLAN. The onl...
138
click to vote
DATE
2010
IEEE
15 years 15 days ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
115
click to vote
CORR
2008
Springer
15 years 15 days ago
2008
Springer
Abstract. The complexity of maximum likelihood decoding of the ReedSolomon codes [q -1, k]q is a well known open problem. The only known result [4] in this direction states that it...