7064 search results - page 193 / 1413 » From States to Histories |
292
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
192
click to vote
SIGMETRICS
2009
ACM
16 years 1 months ago
2009
ACM
Flash Memory based Solid State Drive (SSD) has been called a “pivotal technology” that could revolutionize data storage systems. Since SSD shares a common interface with the t...
164
click to vote
PIMRC
2008
IEEE
16 years 29 days ago
2008
IEEE
Wireless mesh networks (WMNs) are one of the key features of beyond 3G system because of their flexible and lowcost deployment. IEEE 802.16 mesh mode has recently emerged as an alt...
176
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
184
click to vote
AIR
2006
15 years 6 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...