2810 search results - page 243 / 562 » Contract-Based Component System Design |
150
click to vote
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
Conventional OLTP systems assign each transaction to a worker thread and that thread accesses data, depending on what the transaction dictates. This thread-to-transaction work ass...
107
Voted
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
117
click to vote
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Abstract— Many asynchronous designs are naturally specified and implemented hierarchically as an interconnection of separate asynchronous modules that operate concurrently and c...
151
Voted
RE
2010
Springer
14 years 10 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
132
Voted
MOBIHOC
2010
ACM
15 years 1 months ago
2010
ACM
In many practical scenarios, nodes gathering at points of interest yield sizable connected components (clusters), which sometimes comprise the majority of nodes. While recent anal...