3742 search results - page 584 / 749 » On the Use of Formal Techniques for Validation |
153
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Covert timing channels aim at transmitting hidden messages by controlling the time between transmissions of consecutive payload packets in overt network communication. Pr...
184
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
193
click to vote
CCGRID
2009
IEEE
16 years 1 months ago
2009
IEEE
— Grid infrastructures are in operation around the world, federating an impressive collection of computational resources and a wide variety of application software. In this conte...
187
click to vote
IEEECIT
2009
IEEE
16 years 1 months ago
2009
IEEE
Cloud platforms host several independent applications on a shared resource pool with the ability to allocate computing power to applications on a per-demand basis. The use of serv...
156
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Well known estimation techniques in computational geometry usually deal only with single geometric entities as unknown parameters and do not account for constrained obser...