2012 search results - page 342 / 403 » CORAL - Control, Relations and Logic |
166
click to vote
ETFA
2008
IEEE
16 years 22 days ago
2008
IEEE
Power consumption and thermal problems limit the single-core processors to be faster. Processor architects are therefore moving toward multi-core processors. Developers of embedde...
161
click to vote
FGCN
2008
IEEE
16 years 22 days ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
195
click to vote
ICIW
2008
IEEE
16 years 21 days ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
167
click to vote
TIME
2008
IEEE
16 years 19 days ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
183
click to vote
TPHOL
2008
IEEE
16 years 19 days ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...