10625 search results - page 132 / 2125 » Supporting delay-intolerant applications |
189
click to vote
APCCM
2009
15 years 5 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
393
click to vote
JTRES
2010
ACM
15 years 4 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
158
click to vote
CGF
2010
15 years 4 months ago
2010
Teaser Figure: A volume rendering with the corresponding tumor map, a pseudo-cylindrical mapping of the tumor surface. Percutaneous radiofrequency (RF) ablation is a minimally inv...
145
click to vote
IJISEC
2006
15 years 4 months ago
2006
Since Boneh and Franklin published their seminal paper on identity based encryption (IBE) using the Weil pairing , there has been a great deal of interest in cryptographic primitiv...
132
click to vote
JAR
2008
15 years 4 months ago
2008
We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...