1982 search results - page 256 / 397 » Parametricity and dependent types |
169
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
205
click to vote
SIGCOMM
1997
ACM
15 years 10 months ago
1997
ACM
In this paper we evaluate the effectiveness of Random Early Detection (RED) over traffic types categorized as nonadaptive, fragile and robust, according to their responses to con...
159
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we addr...
184
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
158
click to vote
JAIR
2007
15 years 6 months ago
2007
It is well known that utterances convey a great deal of information about the speaker in addition to their semantic content. One such type of information consists of cues to the s...