626 search results - page 17 / 126 » When Can Formal Methods Make a Real Difference |
135
click to vote
RAID
2004
Springer
15 years 8 months 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...
149
click to vote
ECRTS
2007
IEEE
15 years 9 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...
173
Voted
VSGAMES
2010
15 years 1 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...
119
Voted
SAC
2005
ACM
15 years 9 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...
139
click to vote
ISBI
2009
IEEE
15 years 10 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...