1363 search results - page 161 / 273 » On some Relations between Dynamical Systems and Transition S... |
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
110
click to vote
COMCOM
2004
14 years 9 months ago
2004
Abstract-- This paper investigates the TCP dynamics and performance over proxies that shorten the TCP feedback loop by segmenting the end-to-end connection. Such proxies are often ...
LION
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In 1965 Motzkin and Straus established a remarkable connection between the local/global maximizers of the Lagrangian of a graph G over the standard simplex ∆ and the ma...
AUIC
2004
IEEE
15 years 1 months ago
2004
IEEE
Ubiquitous workspaces are future media-rich environments that employ new forms of operating systems and services to coordinate and manage interactions between people, multiple dis...
SYNTHESE
2010
14 years 8 months ago
2010
The focus of the paper is on the logic of clarity and the problem of higherorder vagueness. We first examine the consequences of the notion of intransitivity of indiscriminabilit...