571 search results - page 81 / 115 » A principled approach to operating system construction in Ha... |
104
click to vote
DEBS
2010
ACM
15 years 5 months ago
2010
ACM
Today’s organisations require techniques for automated transformation of the large data volumes they collect during their operations into operational knowledge. This requirement...
148
click to vote
GSEM
2004
Springer
15 years 6 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
124
click to vote
ICAIL
2007
ACM
15 years 5 months ago
2007
ACM
As massive document repositories and knowledge management systems continue to expand, in proprietary environments as well as on the Web, the need for duplicate detection becomes i...
128
click to vote
TII
2010
14 years 8 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
118
click to vote
RECOMB
2003
Springer
16 years 1 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...