2136 search results - page 384 / 428 » Learning Behavior Models for Hybrid Timed Systems |
226
click to vote
WORDS
2005
IEEE
16 years 2 days ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
154
click to vote
SIROCCO
2010
15 years 8 months ago
2010
This paper studies local-control strategies to estimate the size of a certain event affecting an arbitrary connected subset of nodes in a network. For example, our algorithms allow...
157
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
158
click to vote
CAV
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
169
click to vote
ACL
1998
15 years 7 months ago
1998
Determining the attachments of prepositions and subordinate conjunctions is a key problem in parsing natural language. This paper presents a trainable approach to making these att...