Sciweavers

597 search results - page 42 / 120
» A Pattern System for Security Requirements Engineering
Sort
View
SACMAT
2006
ACM
14 years 1 months ago
Information flow property preserving transformation of UML interaction diagrams
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
Fredrik Seehusen, Ketil Stølen
EUROSYS
2010
ACM
14 years 4 months ago
Reverse Engineering of Binary Device Drivers with RevNIC
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driver...
Vitaly Chipounov, George Candea
CSREASAM
2009
13 years 8 months ago
A Service Framework based on Grades of IdPs and SPs
In Web services, a framework for the separation of authentication (IdP) and services (SP) has been proposed and actually deployed. In this framework, quality of information provide...
Sato Hiroyuki
AGENTS
1999
Springer
14 years 9 hour ago
Agent Aided Aircraft Maintenance
Aircraft maintenance is performed by mechanics who are required, by regulation, to consult expert engineers for repair instructions and approval. In addition to their own experien...
Onn Shehory, Katia P. Sycara, Gita Sukthankar, Vic...
ACL
2007
13 years 9 months ago
System Demonstration of On-Demand Information Extraction
In this paper, we will describe ODIE, the On-Demand Information Extraction system. Given a user’s query, the system will produce tables of the salient information about the topi...
Satoshi Sekine, Akira Oda