5159 search results - page 298 / 1032 » Structural Testing of Executables |
185
click to vote
IEEEARES
2006
IEEE
16 years 1 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
178
click to vote
UM
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. The study reported in this paper explores the effects of providing web users with link suggestions that are relevant to their tasks. Results indicate that link suggestion...
178
click to vote
EAGC
2004
Springer
16 years 19 days ago
2004
Springer
This paper describes how Condor-pools could be joined together to form a large computational cluster-grid. In the architecture Jini provides the infrastructure for resource lookup,...
194
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
212
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Research in dialogue systems has been moving towards reusable and adaptable architectures for managing dialogue execution and integrating heterogeneous subsystems. In thi...