1536 search results - page 216 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
REST
2010
ACM
13 years 9 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
WSC
2008
13 years 10 months ago
2008
We use computer simulation to study the performance of alternative real-time delay estimators in heavily loaded multiserver queueing models. These delay estimates may be used to m...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
CC
2007
Springer
13 years 7 months ago
2007
Springer
We initiate a study of tradeoļ¬s between communication and computation in well-known communication models and in other related models. The fundamental question we investigate is t...
BMCBI
2008
13 years 7 months ago
2008
Background: Significance analysis at single gene level may suffer from the limited number of samples and experimental noise that can severely limit the power of the chosen statist...