1147 search results - page 109 / 230 » Termination in language-based systems |
119
click to vote
MOBICOM
2006
ACM
15 years 6 months ago
2006
ACM
Indoor ranging and location in WLAN is possible through obtaining Round-Trip-Time (RTT) measurements at data link level. This procedure allows using the existing IEEE 802.11 WLAN ...
124
click to vote
MOBIWAC
2006
ACM
15 years 6 months ago
2006
ACM
Authors presented recently an indoor location technique based on Time Of Arrival (TOA) obtained from Round-Trip-Time (RTT) measurements at data link level and trilateration. This ...
88
Voted
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
105
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Rippling is a form of rewriting that guides search by only performing steps that reduce the syntactic differences between formulae. Termination is normally ensured by a measure th...
113
click to vote
EPK
2006
15 years 2 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...