209 search results - page 38 / 42 » Termination of Priority Rewriting |
ISCC
2003
IEEE
14 years 28 days ago
2003
IEEE
– In this paper, we present a new collision-free MAC protocol–Carrier Sense Media Access with ID Countdown (CSMA/IC) for ad hoc wireless networks that can achieve 100% collisio...
TCS
2010
13 years 6 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
JLP
2010
13 years 2 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
WCE
2007
13 years 8 months ago
2007
— Multimedia applications require high bandwidth in order to assure certain level of Quality of Service (QoS). It is well known that the characteristics of the traffic for multim...
DIALM
2010
ACM
13 years 5 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...