288 search results - page 48 / 58 » Interactive Termination Proofs Using Termination Cores |
ICWE
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. In this paper we present an implementation using XML and Java (XSHAAD) based on a modular architecture of SHAAD to support a web-based Adaptive Hypermedia System. This ar...
TACS
1997
Springer
15 years 1 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
APNOMS
2006
Springer
15 years 1 months ago
2006
Springer
The NGN convergence services will play an important role to consolidate the deployment of NGN at the initial phase. At the initial stage, scenario-based approach is expected to act...
IJIM
2008
14 years 9 months ago
2008
Personalization and effective user profile management will be critical to meet the individual users' needs and for achieving eInclusion and eAccessibility. This paper outlines...
59
Voted
IPM
2006
14 years 9 months ago
2006
In recent years, small screen devices have seen widespread increase in their acceptance and use. Combining mobility with increased technological advances many such devices can now...