Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,753 papers from all fields of science
Search
Sign In
Create Free Account
Reachability
Known as:
Graph reachability
, Reach
In graph theory, reachability refers to the ability to get from one vertex to another within a graph. A vertex can reach a vertex (and is reachable…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
39 relations
Argus - Audit Record Generation and Utilization System
Bipolar orientation
Book embedding
CPAchecker
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Symbolic model checking composite Web services using operational and control behaviors
J. Bentahar
,
H. Yahyaoui
,
Melissa Kova
,
Z. Maamar
Expert systems with applications
2013
Corpus ID: 15794618
Highly Cited
2011
Highly Cited
2011
IMPACT OF SELFISH NODE CONCENTRATION IN MANET S
Shailender Gupta
,
C. K. Nagpal
,
Charu Singla
2011
Corpus ID: 18627725
The communication in Mobile Ad hoc Network (MANET) is multi-hop in nature wherein each node relays data packets of other nodes…
Expand
2011
2011
Analysis of the Petri net model of parallel manufacturing processes with shared resources
F. Ahmad
,
Hejiao Huang
,
Xiaolong Wang
Information Sciences
2011
Corpus ID: 19347703
2010
2010
Assessing the Impact of a Realistic Radio Propagation Model on VANET Scenarios Using Real Maps
Francisco J. Martinez
,
Manuel Fogué
,
Manuel Coll
,
Juan-Carlos Cano
,
C. Calafate
,
P. Manzoni
Ninth IEEE International Symposium on Network…
2010
Corpus ID: 16669776
Research in Vehicular Ad hoc Networks (VANETs) has found in simulation the most useful method to test new algorithms and…
Expand
Highly Cited
2009
Highly Cited
2009
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
N. Kokash
,
F. Arbab
Formal Methods for Components and Objects
2009
Corpus ID: 9498334
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on…
Expand
Highly Cited
2008
Highly Cited
2008
BRA: A Bidirectional Routing Abstraction for Asymmetric Mobile Ad Hoc Networks
Venugopalan Ramasubramanian
,
D. Mossé
IEEE/ACM Transactions on Networking
2008
Corpus ID: 15207329
Wireless links are often asymmetric due to heterogeneity in the transmission power of devices, non-uniform environmental noise…
Expand
Highly Cited
2006
Highly Cited
2006
REALIZATION PROBLEM FOR POSITIVE MULTIVARIABLE DISCRETE-TIME LINEAR SYSTEMS WITH DELAYS IN THE STATE VECTOR AND INPUTS
T. Kaczorek
2006
Corpus ID: 15949420
The realization problem for positive multivariable discrete-time systems with delays in the state and inputs is formulated and…
Expand
Highly Cited
2006
Highly Cited
2006
A Novel SIP-Based Route Optimization for Network Mobility
Chung-Ming Huang
,
Chao-Hsien Lee
,
Ji-Ren Zheng
IEEE Journal on Selected Areas in Communications
2006
Corpus ID: 27349683
With the provision of various wireless services, e.g., third-generation (3G) and wireless local area network (WLAN), more and…
Expand
Highly Cited
1996
Highly Cited
1996
A generic Petri net model for dynamic process planning and sequence optimization
D. Kiritsis
,
M. Porchet
1996
Corpus ID: 62549473
1984
1984
Specification, Semantics, and Enforcement of Dynamic Database Constraints
H. Ehrich
,
U. Lipeck
,
Martin Gogolla
Very Large Data Bases Conference
1984
Corpus ID: 14609854
In older to specify dytxmi (' con-strc int?, we ~lrcsfnt * a siclplifjcd vel-sion of teopcltal lccic hasec! on the tenporal…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE