118 search results - page 16 / 24 » Scaling model checking of dataraces using dynamic informatio... |
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
A virtual organization (VO) is a dynamic collection of entities (individuals, enterprises, and information resources) collaborating on some computational activity. VOs are an emer...
HPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
— The potential of truly large scale grids can only be realized with grid architectures and deployment strategies that lower the need for human administrative intervention, and t...
MM
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents a novel motion localization approach for recognizing actions and events in real videos. Examples include StandUp and Kiss in Hollywood movies. The challenge ca...
BMCBI
2006
13 years 7 months ago
2006
Background: Many commonly used genome browsers display sequence annotations and related attributes as horizontal data tracks that can be toggled on and off according to user prefe...
SACMAT
2003
ACM
14 years 25 days ago
2003
ACM
This paper presents an approach that uses special purpose RBAC constraints to base certain access control decisions on context information. In our approach a context constraint is...