1587 search results - page 163 / 318 » The Semantics of Extended SOFL |
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
—Applications on mobile computers must adapt to high variability in wireless network performance. Extending the semantics of transport protocols to offer more control over commun...
TOOLS
2010
IEEE
14 years 2 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...
ICDCSW
2002
IEEE
14 years 2 months ago
2002
IEEE
Prolonged secure communication requires trust relationships that extend throughout a connection’s life cycle. Current tools to establish secure connections such as SSL/TLS and S...
ECOOP
2010
Springer
14 years 2 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
LPNMR
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...