10435 search results - page 136 / 2087 » Measuring system normality |
HICSS
2010
IEEE
14 years 3 months ago
2010
IEEE
Power systems under stress can show large voltage angle differences between areas that can be monitored by wide area phasor measurements. One way to make this idea more specific ...
ACSAC
2001
IEEE
14 years 20 days ago
2001
IEEE
We developed and evaluated several cryptographic system libraries for Palm OS
AIIA
1999
Springer
14 years 1 months ago
1999
Springer
In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
ICEIS
2009
IEEE
14 years 3 months ago
2009
IEEE
