5639 search results - page 986 / 1128 » Timed Abstract Non-interference |
USENIX
1993
15 years 3 months ago
1993
AudioFile is a portable, device-independent, network-transparent system for computer audio systems. to the X Window System, it provides an abstract audio device interface with a s...
146
click to vote
BPSC
2009
15 years 3 months ago
2009
Abstract: In this paper we present our ideas to apply constraint satisfaction on business processes. We propose a multi-level constraint satisfaction approach to handle t levels of...
114
click to vote
AI
2007
Springer
15 years 2 months ago
2007
Springer
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
125
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Biological data have traditionally been stored and made publicly available through a variety of on-line databases, whereas biological knowledge has traditionally been ...
115
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Peptides are important molecules with diverse biological functions and biomedical uses. To date, there does not exist a single, searchable archive for peptide sequence...