1150 search results - page 139 / 230 » Specifying Information-Flow Controls |
BPM
2007
Springer
14 years 6 days ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
CRV
2007
IEEE
14 years 4 days ago
2007
IEEE
In this paper we introduce the Fourier tag, a synthetic fiducial marker used to visually encode information and provide controllable positioning. The Fourier tag is a synthetic ta...
DAWAK
2009
Springer
14 years 3 days ago
2009
Springer
Skyline queries have gained much attention as alternative query semantics with pros (e.g.low query formulation overhead) and cons (e.g.large control over result size). To overcome ...
ECOOPWEXCEPTION
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
ESAW
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...