1549 search results - page 277 / 310 » On the rules of intermediate logics |
IPSN
2010
Springer
14 years 2 months ago
2010
Springer
For in-network storage schemes, one maps data, indexed in a logical space, to the distributed sensor locations. When the physical sensor network has an irregular shape and possibl...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
RTCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper addresses the problem of using the Location IDentifier (LID) as the domain value of the index for trajectories of RFID tags and proposes the solution for solving this p...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...