Sciweavers

4346 search results - page 666 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
157
Voted
AADEBUG
2005
Springer
15 years 9 months ago
Specifying and checking component usage
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
Steven P. Reiss
104
Voted
EUROSYS
2006
ACM
16 years 26 days ago
Thorough static analysis of device drivers
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir ...
121
Voted
IUI
2004
ACM
15 years 9 months ago
Sheepdog: learning procedures for technical support
Technical support procedures are typically very complex. Users often have trouble following printed instructions describing how to perform these procedures, and these instructions...
Tessa A. Lau, Lawrence D. Bergman, Vittorio Castel...
ICIP
2006
IEEE
16 years 5 months ago
A Hierarchical ASM/AAM Approach in a Stochastic Framework for Fully Automatic Tracking and Recognition
This paper deals with the fully automatic extraction of classifiable person features out of a video stream with challenging background. Basically the task can be split in two part...
Andre Störmer, Gerhard Rigoll, Sascha Schreib...
150
Voted
ECBS
2010
IEEE
147views Hardware» more  ECBS 2010»
15 years 9 months ago
Supporting Customizable Architectural Design Decision Management
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
Lianping Chen, Muhammad Ali Babar