5246 search results - page 226 / 1050 » Sanitization models and their limitations |
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Broadly, telemedicine refers to the use of information and telecommunication technologies to distribute information and/or expertise necessary for healthcare service provision, co...
HICSS
2003
IEEE
2003
IEEE
A probabilistic loading-dependent model of cascading failure and possible implications for blackouts
15 years 5 months ago
Catastrophic disruptions of large, interconnected infrastructure systems are often due to cascading failure. For example, large blackouts of electric power systems are typically c...
102
click to vote
SIGSOFT
2003
ACM
15 years 5 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
CA
2002
IEEE
15 years 4 months ago
2002
IEEE
Although computer assistance for traditional animation is gaining a lot of attention during recent years, it still has to cope with many limitations. Part of the current research ...
DANCE
2002
IEEE
15 years 4 months ago
2002
IEEE
Active-network technology envisions deploying execution environments in network elements so that application-specific processing can be applied to network traffic. To provide safe...