1398 search results - page 139 / 280 » Ensuring Properties of Interaction Systems |
158
Voted
JMLR
2010
14 years 11 months ago
2010
The scientific literature is a rich and challenging data source for research in systems biology, providing numerous interactions between biological entities. Text mining technique...
236
click to vote
SOSP
2007
ACM
16 years 1 months ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
161
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
131
click to vote
DL
1998
Springer
15 years 9 months ago
1998
Springer
This paper presents design considerations for the construction of advanced information environments, and a prototype interface that attempts to respond to them. The design conside...
128
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...