Sciweavers

1774 search results - page 247 / 355
» Modeling Dynamic Component Interfaces
Sort
View
160
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 10 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
AGENTS
1999
Springer
15 years 6 months ago
A Personal News Agent That Talks, Learns and Explains
Most work on intelligent information agents has thus far focused on systems that are accessible through the World Wide Web. As demanding schedules prohibit people from continuous ...
Daniel Billsus, Michael J. Pazzani
ERCIMDL
2007
Springer
113views Education» more  ERCIMDL 2007»
15 years 4 months ago
Providing Context-Sensitive Access to the Earth Observation Product Library
The German Remote Sensing Data Center (DFD) has developed a digital library for the long-term management of earth observation data products. This Product Library is a central part ...
Stephan Kiemle, Burkhard Freitag
106
Voted
ICMCS
2005
IEEE
92views Multimedia» more  ICMCS 2005»
15 years 8 months ago
Striping Delay-Sensitive Packets Over Multiple Bursty Wireless Channels
Multi-homed mobile devices have multiple wireless communication interfaces, each connecting to the Internet via a low speed and bursty WAN link such as a cellular link. We propose...
Gene Cheung, Puneet Sharma, Sung-Ju Lee
120
Voted
WSC
2007
15 years 4 months ago
A test implementation of the core manufacturing simulation data specification
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
Marcus Johansson, Björn Johansson, Anders Sko...