328 search results - page 54 / 66 » Simple Termination Revisited |
TABLEAUX
2007
Springer
14 years 1 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
TELETRAFFIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. To support battery powered mobile broadband wireless access devices efficiently, IEEE 802.16e defines a sleep mode operation for conserving the power of mobile terminals...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
ICCNMC
2005
Springer
2005
Springer
Simplified Message Transformation for Optimization of Message Processing in 3G-324M Control Protocol
14 years 1 months ago
3G-324M is a multimedia transmission protocol designed for 3G communication environment. Meanwhile H.245 standard is a control protocol in 3G-324M and gives specific descriptions a...
MATA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The paper presents the specification, development and initial performance evaluation of the Simplicity Device (SD), which is one of the key components of the SIMPLICITY A...