2786 search results - page 353 / 558 » A Practical Technique for Process Abstraction |
141
click to vote
INFOCOM
2008
IEEE
16 years 29 days ago
2008
IEEE
Abstract—Wireless sensor networks need very efficient network protocols due to the sensors’ limited communication and computation capabilities. Network planarization – find...
179
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
160
click to vote
WEA
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. In this paper we consider the problem of computing a minimum cycle basis of an undirected graph G = (V, E) with n vertices and m edges. We describe an efficient implement...
174
click to vote
LOPSTR
2004
Springer
15 years 12 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...
175
click to vote
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...