986 search results - page 40 / 198 » Generalized Goal Programming: polynomial methods and applica... |
BMCBI
2007
13 years 7 months ago
2007
Background: Investigators in the biological sciences continue to exploit laboratory automation methods and have dramatically increased the rates at which they can generate data. I...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Application security is typically coded in the application. In kernelSec, we are investigating mechanisms to implement application security in an operating system kernel. The mech...
ERSHOV
2009
Springer
13 years 5 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
LOPSTR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...