2148 search results - page 21 / 430 » Responsiveness in Process Calculi |
86
Voted
SIGSOFT
2003
ACM
16 years 11 days ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...
98
Voted
LICS
1999
IEEE
15 years 3 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
INLG
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
Micro-indentation test with a micro flat-end cone indenter was employed to simulate micro embossing process and investigate the thermo-mechanical response of ceramic green substrat...
87
Voted
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
Texture segmentation is a difficult problem, as is apparent from camouflage pictures. A Textured region can contain texture elements of various sizes, each of which can itself be ...