3688 search results - page 304 / 738 » Static analysis of aspects |
192
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
202
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
Providing quality of service (QoS) guarantees over wireless links requires thorough understanding and quantification of the interactions among the traffic source, the wireless cha...
164
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Variousproposals have been madefor new paradigms for operating the restructuring electrical system. One of the key challenges associated with this restructuring is to effectively ...
361
click to vote
AINA
2010
IEEE
15 years 10 months ago
2010
IEEE
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...
164
click to vote
WSC
2008
15 years 9 months ago
2008
Semiconductor industry is capital intensive and competitive, and thus efficiently utilizing resources to provide products and services is essential for maintaining competitive adv...