335 search results - page 30 / 67 » The Compositional Construction of Markov Processes |
144
click to vote
ISBI
2008
IEEE
16 years 6 months ago
2008
IEEE
Dynamic functional imaging promises powerful tools for the visualization and elucidation of important diseasecausing biological processes, where the pixels often represent a compo...
152
click to vote
IEEESCC
2007
IEEE
15 years 12 months ago
2007
IEEE
Service discovery has been recognised as an important aspect of service oriented computing. This is even more the case when developing service centric systems in which software sy...
148
click to vote
KBSE
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
200
click to vote
HASKELL
2009
ACM
16 years 2 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
164
click to vote
ICC
2009
IEEE
16 years 8 days ago
2009
IEEE
—Biometric authentication is emerging as the promising solution to conventional cryptography based authentication technologies. However, protecting users’ biometric templates s...