4520 search results - page 314 / 904 » Algebraic Techniques for Timed Systems |
169
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
Complex systems abound in nature and are becoming increasingly important in artificial systems. The understanding and controlling of such systems is a major challenge. This paper ...
192
click to vote
EACL
2010
ACL Anthology
15 years 7 months ago
2010
ACL Anthology
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...
185
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Intrusion detection systems have become a key component in ensuring the safety of systems and networks. As networks grow in size and speed continues to increase, it is crucial tha...
213
click to vote
RTS
2006
15 years 7 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
185
Voted
OTM
2009
Springer
16 years 2 months ago
2009
Springer
Byzantine Quorum Systems is a replication technique used to ensure availability and consistency of replicates data even in presence of arbitrary faults. This paper presents a Byzan...