Sciweavers

896 search results - page 85 / 180
» Stepwise Refinement of Processes
Sort
View
IEICET
2006
114views more  IEICET 2006»
15 years 2 months ago
Synchronization Verification in System-Level Design with ILP Solvers
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
133
Voted
TOG
2008
241views more  TOG 2008»
15 years 2 months ago
Single image dehazing
In this paper we present a new method for estimating the optical transmission in hazy scenes given a single input image. Based on this estimation, the scattered light is eliminate...
Raanan Fattal
117
Voted
RE
2002
Springer
15 years 2 months ago
AGORA: Attributed Goal-Oriented Requirements Analysis Method
This paper presents an extended version of GoalOriented Requirements Analysis Method called AGORA, where attribute values, e.g. contribution values and preference matrices, are ad...
Haruhiko Kaiya, Hisayuki Horai, Motoshi Saeki
SP
2002
IEEE
226views Security Privacy» more  SP 2002»
15 years 2 months ago
Dynamic load balancing of SAMR applications on distributed systems
Dynamic load balancing(DLB) for parallel systems has been studied extensively; however, DLB for distributed systems is relatively new. To efficiently utilize computing resources p...
Zhiling Lan, Valerie E. Taylor, Greg Bryan
110
Voted
RE
2008
Springer
15 years 2 months ago
Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
Travis D. Breaux, Annie I. Antón, Kent Bouc...