Sciweavers

35 search results - page 1 / 7

» hase 2007

6

HASE
2007
IEEE

133views Control Systems» more HASE 2007»

Model-Checker-Based Testing of LTL Specifications

13 years 10 months ago

Model-Checker-Based Testing of LTL Specifications

Download www.cs.utep.edu

Luis García, Steve Roach

claim paper

Read More »

6

HASE
2007
IEEE

78views Control Systems» more HASE 2007»

Adding Autonomic Capabilities to Network Fault Management System

13 years 10 months ago

Adding Autonomic Capabilities to Network Fault Management System

Download csdl2.computer.org

Yan Liu, Michael Jiang, David Raymer

claim paper

Read More »

6

HASE
2007
IEEE

115views Control Systems» more HASE 2007»

Arguing safety with Problem Oriented Software Engineering

13 years 10 months ago

Arguing safety with Problem Oriented Software Engineering

Download computing-reports.open.ac.uk

Jon G. Hall, Derek Mannering, Lucia Rapanotti

claim paper

Read More »

5

HASE
2007
IEEE

80views Control Systems» more HASE 2007»

Vulnerability Discovery in Multi-Version Software Systems

13 years 10 months ago

Vulnerability Discovery in Multi-Version Software Systems

Download www.cs.colostate.edu

Jinyoo Kim, Yashwant K. Malaiya, Indrakshi Ray

claim paper

Read More »

8

HASE
2007
IEEE

120views Control Systems» more HASE 2007»

Flexible Authorization with Decentralized Access Control Model for Grid Computing

13 years 10 months ago

Flexible Authorization with Decentralized Access Control Model for Grid Computing

Download www.list.gmu.edu

Xinwen Zhang, Qi Li, Jean-Pierre Seifert, Mingwei ...

claim paper

Read More »

« Prev « First page 1 / 7 Last » Next »