626 search results - page 17 / 126 » When Can Formal Methods Make a Real Difference |
RAID
2004
Springer
14 years 25 days ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...
ECRTS
2007
IEEE
14 years 1 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
VSGAMES
2010
13 years 5 months ago
2010
—Mass adoption of virtual world platforms for education and training implies efficient management of computational resources. In Second Life Grid and OpenSimulator, commonly used...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
A mixin is a reusable module that provides uniform extend modifications to classes. It is an abstract subclass that is composable with a variety of superclasses. In mixinbased co...
ISBI
2009
IEEE
14 years 2 months ago
2009
IEEE
In live-cell fluorescence microscopy imaging, quantitative analysis of biological image data generally involves the detection of many subresolution objects, appearing as diffract...