Sciweavers

2493 search results - page 447 / 499
» Tool Support for Design by Contract
Sort
View
SOPR
2002
106views more  SOPR 2002»
14 years 9 months ago
A discrete simulation model for assessing software project scheduling policies
Good project scheduling is an essential, but extremely hard task in software management practice. In a software project, the time needed to complete some development activity is d...
Frank Padberg
RE
2008
Springer
14 years 9 months ago
Rule-Based Maintenance of Post-Requirements Traceability Relations
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
Patrick Mäder, Orlena Gotel, Ilka Philippow
IS
2010
14 years 8 months ago
VISTO: A new CBIR system for vector images
In this paper, we present the main features of VISTO (Vector Image Serach TOol), a new Content-Based Image Retrieval (CBIR) system for vector images. Though unsuitable for photore...
Tania Di Mascio, Daniele Frigioni, Laura Tarantino
PERCOM
2010
ACM
14 years 8 months ago
Towards ontology-driven development of applications for smart environments
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
Artem Katasonov, Marko Palviainen
PUC
2010
139views more  PUC 2010»
14 years 8 months ago
Digital plumbing: the mundane work of deploying UbiComp in the home
Deploying UbiComp in real homes is central to realizing Weiserʼs grand vision of ʻinvisibleʼ computing. It is essential to moving design out of the lab and making it into an unr...
Peter Tolmie, Andy Crabtree, Stefan Rennick Eggles...