1701 search results - page 269 / 341 » Computer Science and State Machines |
BIRTHDAY
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
101
click to vote
EXACT
2009
14 years 7 months ago
2009
This paper addresses the issue of the explanation of the result given to the end-user by a classifier, when it is used as a decision support system. We consider machine learning cl...
ACL
2011
14 years 1 months ago
2011
Topic models have been used extensively as a tool for corpus exploration, and a cottage industry has developed to tweak topic models to better encode human intuitions or to better...
109
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
INFOCOM
2012
IEEE
13 years 10 days ago
2012
IEEE
Abstract—In this paper, we implement and evaluate three different Byzantine Fault-Tolerant (BFT) state machine replication protocols for data centers: (1) BASIC: The classic solu...