4693 search results - page 456 / 939 » Verifying Hybrid Systems |
169
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
176
click to vote
EMNLP
2008
15 years 8 months ago
2008
In this paper we present a textual dialogue system that uses word associations retrieved from the Web to create propositions. We also show experiment results for the role of modal...
180
click to vote
ICMCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Though the variety of desktop real time stereo vision systems has grown considerably in the past several years, few make any verifiable claims about the accuracy of the algorithms...
214
click to vote
DEBS
2010
ACM
15 years 7 months ago
2010
ACM
The provisioning of basic security mechanisms such as authentication and confidentiality is highly challenging in a content-based publish/subscribe system. Authentication of publi...
178
click to vote
COMPUTING
2006
15 years 7 months ago
2006
The polyhedral homotopy continuation method is known to be a successful method for finding all isolated solutions of a system of polynomial equations. PHoM, an implementation of t...