Sciweavers

1994 search results - page 45 / 399
» Limited Software Warranties
Sort
View
ICST
2008
IEEE
14 years 3 months ago
Distributed In Vivo Testing of Software Applications
The in vivo software testing methodology focuses on testing live applications by executing unit tests throughout the lifecycle, including after deployment. The motivation is that ...
Matt Chu, Christian Murphy, Gail E. Kaiser
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
14 years 3 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
ACMICEC
2006
ACM
150views ECommerce» more  ACMICEC 2006»
14 years 2 months ago
A framework for managing optimization models for supply chain software agents
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
Jae Kyu Lee, Yong Sik Chang
ACISICIS
2005
IEEE
14 years 2 months ago
A Performance Analysis Model of PC-Based Software Router Supporting IPv6-IPv4 Translation for Residential Gateway
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...
Ssang-Hee Seo, In-Yeup Kong
ISPDC
2005
IEEE
14 years 2 months ago
A Component-based Software Infrastructure for Ubiquitous Computing
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...
Areski Flissi, Christophe Gransart, Philippe Merle