Sciweavers

2578 search results - page 213 / 516
» A Family-Oriented Software Development Process for Engine Co...
Sort
View
119
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Testing and Analysis of Access Control Policies
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
Evan Martin
139
Voted
AGILEDC
2003
IEEE
15 years 9 months ago
Introducing Agile Development into Bioinformatics: An Experience Report
This experience report describes our efforts to introduce agile development techniques incrementally into our customer’s organization in the National Cancer Institute and develo...
David Kane
121
Voted
IUI
2004
ACM
15 years 9 months ago
A plan-based mission control center for autonomous vehicles
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...
Gary Look, Howard E. Shrobe
185
Voted
VEE
2012
ACM
269views Virtualization» more  VEE 2012»
13 years 11 months ago
SimTester: a controllable and observable testing framework for embedded systems
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
Tingting Yu, Witawas Srisa-an, Gregg Rothermel
152
Voted
KBSE
2007
IEEE
15 years 10 months ago
Extracting rights and obligations from regulations: toward a tool-supported process
Security, privacy and governance are increasingly the focus of government regulations in the U.S., Europe and elsewhere. This trend has created a “regulation compliance” probl...
Nadzeya Kiyavitskaya, Nicola Zeni, Travis D. Breau...