Sciweavers

4360 search results - page 574 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
203
Voted
EMSOFT
2007
Springer
15 years 11 months ago
Verification of device drivers and intelligent controllers: a case study
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
David Monniaux
163
Voted
ER
2007
Springer
82views Database» more  ER 2007»
16 years 1 months ago
Tracing the Rationale Behind UML Model Change Through Argumentation
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
Ivan Jureta, Stéphane Faulkner
178
Voted
ESCIENCE
2006
IEEE
16 years 1 months ago
FAME: Adding Multi-Level Authentication to Shibboleth
The paper describes the design of FAME (Flexible Access Middleware Extension) architecture aimed at providing multi-level user authentication service for Shibboleth, which is endo...
Aleksandra Nenadic, Ning Zhang, Jay Chin, Carole A...
168
Voted
PVLDB
2008
105views more  PVLDB 2008»
15 years 7 months ago
Transaction time indexing with version compression
Immortal DB is a transaction time database system designed to enable high performance for temporal applications. It is built into a commercial database engine, Microsoft SQL Serve...
David B. Lomet, Mingsheng Hong, Rimma V. Nehme, Ru...
ICSE
2004
IEEE-ACM
16 years 7 months ago
An Empirical Comparison of Dynamic Impact Analysis Algorithms
Impact analysis -- determining the potential effects of changes on a software system -- plays an important role in software engineering tasks such as maintenance, regression testi...
Alessandro Orso, Taweesup Apiwattanapong, James La...