278 search results - page 19 / 56 » Pure Pattern Calculus |
93
Voted
ACSD
2005
IEEE
15 years 7 months ago
2005
IEEE
BoPi is a programming language with a runtime support that allows the distribution and the execution of programs over the network. The language is a process calculus with XML valu...
WACV
2007
IEEE
15 years 8 months ago
2007
IEEE
The success of forensic identification largely depends on the availability of strong evidence or traces that substantiate the prosecution hypothesis that a certain person is guil...
117
Voted
SECURWARE
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
147
Voted
EACL
2009
ACL Anthology
14 years 12 months ago
2009
ACL Anthology
Recent research has shown that language and the socio-cognitive phenomena associated with it can be aptly modeled and visualized through networks of linguistic entities. However, ...
153
click to vote
HASKELL
2009
ACM
15 years 8 months 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...