1902 search results - page 167 / 381 » Differential Dynamic Logics |
173
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
189
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Internet service providers (ISPs) depend on one another to provide global network services. However, the profit-seeking nature of the ISPs leads to selfish behaviors that result i...
148
Voted
IJON
2007
15 years 6 months ago
2007
One of the key findings supporting the assembly hypothesis was found in recordings from the primary motor cortex of behaving monkeys involved in a delayed pointing task [A. Riehl...
189
click to vote
TON
2008
15 years 6 months ago
2008
Differentiated services architectures are scalable solutions for providing class-based Quality of Service (QoS) over packet switched networks. While qualitative attributes of the o...
213
Voted
CN
2004
15 years 6 months ago
2004
One of the dominant questions facing the Internet today is, how can the network meet the needs of the users and their applications (QoS) while trying to keep such implementations s...