544 search results - page 25 / 109 » A Logic Based Approach to the Static Analysis of Production ... |
MIS
2008
Springer
13 years 8 months ago
2008
Springer
In most of the ad-hoc routing protocols, a static link lifetime (LL) is used for a newly discovered neighbors. Though this works well for networks with fixed infrastructures, it is...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper studies the relationship between information technology (IT), time personality and managerial productivity. Time personality is captured by concepts of polychronicity an...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
A focused proof system provides a normal form to cut-free proofs that structures the application of invertible and non-invertible inference rules. The focused proof system of Andre...
PCI
2005
Springer
14 years 1 months ago
2005
Springer
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
Static analyses provide the semantic foundation for tools ranging from optimizing compilers to refactoring browsers and advanced debuggers. Unfortunately, developing new analysis ...