5326 search results - page 166 / 1066 » On what we can ensure |
206
click to vote
ADAEUROPE
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
180
click to vote
EDBT
2008
ACM
15 years 8 months ago
2008
ACM
Testing peer-to-peer (P2P) systems is difficult because of the high numbers of nodes which can be heterogeneous and volatile. A test case may be composed of several ordered action...
223
click to vote
IHI
2010
15 years 1 months ago
2010
One of the concerns patients have when confronted with a medical condition is which physician to trust. Any recommendation system that seeks to answer this question must ensure an...
227
click to vote
JMLR
2012
13 years 9 months ago
2012
We propose a new family of latent variable models called max-margin min-entropy (m3e) models, which define a distribution over the output and the hidden variables conditioned on ...
168
click to vote
HICSS
2007
IEEE
16 years 23 days ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...