1760 search results - page 106 / 352 » Program Analysis Using Weighted Pushdown Systems |
110
Voted
SIGADA
2004
Springer
15 years 6 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
101
Voted
MINENET
2006
ACM
15 years 6 months ago
2006
ACM
Security incidents have an adverse impact not only on end systems, but also on Internet routing, resulting in many out-of-reach prefixes. Previous work has looked at performance ...
132
Voted
ICSM
2002
IEEE
15 years 5 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
109
click to vote
BMCBI
2005
15 years 15 days ago
2005
Background: Many cutting-edge microarray analysis tools and algorithms, including commonly used limma and affy packages in Bioconductor, need sophisticated knowledge of mathematic...
113
Voted
JUCS
2007
15 years 14 days ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...