Sciweavers

259 search results - page 35 / 52
» A Functional Pattern System for Object-Oriented Design
Sort
View
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 1 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
DAC
2009
ACM
16 years 21 days ago
On systematic illegal state identification for pseudo-functional testing
The discrepancy between integrated circuits' activities in normal functional mode and that in structural test mode has an increasing adverse impact on the effectiveness of ma...
Feng Yuan, Qiang Xu
ICDE
2010
IEEE
186views Database» more  ICDE 2010»
15 years 11 months ago
Mini-Me: A Min-Repro System for Database Software
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
Nicolas Bruno, Rimma V. Nehme
HT
2005
ACM
15 years 5 months ago
Information visualization for an intrusion detection system
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...
James Blustein, Ching-Lung Fu, Daniel L. Silver
COMCOM
2002
120views more  COMCOM 2002»
14 years 11 months ago
An interactive video delivery and caching system using video summarization
With the advance of high-speed network technologies, the availability and popularity of streaming media content over the Internet has grown rapidly in recent years. The delivery a...
Sung-Ju Lee, Wei-Ying Ma, Bo Shen