Sciweavers

2455 search results - page 211 / 491
» Graphical abstract help
Sort
View
KBSE
2009
IEEE
15 years 11 months ago
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Hal...
OOPSLA
2009
Springer
15 years 11 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
COLCOM
2007
IEEE
15 years 10 months ago
Uncompressed HD video for collaborative teaching - an experiment
Abstract—This article describes a distributed classroom experiment carried out by five universities in the US and Europe at the beginning of 2007. This experiment was motivated ...
Andrei Hutanu, Ravi Paruchuri, Daniel Eiland, Milo...
ECBS
2007
IEEE
97views Hardware» more  ECBS 2007»
15 years 10 months ago
A Service-Oriented Extension of the V-Modell XT
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
Michael Meisinger, Ingolf Krüger
INFOCOM
2007
IEEE
15 years 10 months ago
Ad-hoc Localization in Urban District
Abstract— In this paper, we present a range-free ad-hoc localization algorithm called UPL (Urban Pedestrians Localization), for positioning mobile nodes in urban district. The de...
Akira Uchiyama, Sae Fujii, Kumiko Maeda, Takaaki U...