1187 search results - page 131 / 238 » Graph-Based Procedural Abstraction |
141
Voted
CC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
110
Voted
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Nonlinearities and the lack of accurate quantitative information considerably hamper modeling and system analysis of biochemical networks. Here we propose a procedure for...
105
click to vote
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In Grid service, resource management is important to support capability for good quality and efficiency for the computing and storage service. In order to provide this re...
90
Voted
APNOMS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Recently the concept of personal PKI was introduced to describe a public key infrastructure specifically designed to support the distribution of public keys in a personal...