2129 search results - page 275 / 426 » Cutting-Edge Timing Analysis Techniques |
152
click to vote
JLP
2008
15 years 6 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
153
click to vote
ENGL
2007
15 years 6 months ago
2007
—In this paper the GPC and NGPC model predictive control techniques are applied to a typical plant and compared in terms of computational efficiency. The system identification an...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we present an analysis of a MAC (Medium Access Control) protocol for wireless sensor networks. The purpose of this protocol is to manage wireless media access by con...
153
click to vote
JVCIR
2006
15 years 6 months ago
2006
Bandwidth and processing requirements of multimedia applications typically exceed capabilities of portable terminals with current technology. Applications should hence be able to ...
169
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...