2272 search results - page 242 / 455 » Capture Complexity by Partition |
111
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
124
Voted
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Specifications of the cor...
148
Voted
FOSSACS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
95
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
We propose modeling environmental noise in order to efficiently and accurately simulate wireless packet delivery. We measure noise traces in many different environments and propo...
128
Voted
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...