1188 search results - page 141 / 238 » Testing Semantics: Connecting Processes and Process Logics |
175
click to vote
IDEAS
2009
IEEE
15 years 10 months ago
2009
IEEE
RDFKB (Resource Description Framework Knowledge Base) is a relational database system for RDF datasets which supports inference and knowledge management. Significant research has ...
133
click to vote
PERCOM
2009
ACM
16 years 4 months ago
2009
ACM
Abstract--Pervasive computing applications involve both software concerns, like any software system, and integration concerns, for the constituent networked devices of the pervasiv...
122
click to vote
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
123
click to vote
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we look at TCP data which was passively collected from an edge ISP, and analyze it to obtain some new results and deeper understanding of TCP loss process. The fo...
132
click to vote
LREC
2010
15 years 5 months ago
2010
Corpora of sentences annotated with grammatical information have been deployed by extending the basic lexical and morphological data with increasingly complex information, such as...