4636 search results - page 356 / 928 » Modelling and Validation with VipTool |
176
Voted
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
114
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—In this paper we compare and enhance the three prevailing approaches of IEEE 802.11e Performance analysis. Specifically, the first model utilizes a Markov Chain to describe th...
110
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
131
click to vote
ROMAN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Models that can efficiently, compactly, and semantically represent potential users are important tools for human-robot interaction applications. We model a person as a p...
142
click to vote
LCN
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Telephony gateways are devices that interface between IP telephony networks and the PSTN. A telephony proxy or location server (LS) that attempts to connect a call for a...