Sciweavers

3914 search results - page 430 / 783
» Automating SLA modeling
Sort
View
HICSS
2011
IEEE
235views Biometrics» more  HICSS 2011»
14 years 11 months ago
What Are the Business Benefits of Enterprise Mashups?
Enterprise mashups (EMs) are a new technology that enables the automation of situational needs of knowledge workers. EMs imply a new development paradigm based on the peer product...
Volker Hoyer, Katarina Stanoevska-Slabeva, Simone ...
236
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 3 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...
231
Voted
ICCV
2009
IEEE
17 years 13 days ago
Reconstructing Building Interiors from Images
This paper proposes a fully automated 3D reconstruction and visualization system for architectural scenes (interiors and exteriors). The reconstruction of indoor environments fr...
Yasutaka Furukawa, Brian Curless, Steven M. Seitz,...
198
Voted
MICCAI
2005
Springer
16 years 8 months ago
Hybrid Segmentation Framework for Tissue Images Containing Gene Expression Data
Associating speci c gene activity with speci c functional locations in the brain anatomy results in a greater understanding of the role of the gene's products. To perform such...
Musodiq Bello, Tao Ju, Joe D. Warren, James Carson...
ATAL
2007
Springer
16 years 1 months ago
Unifying distributed constraint algorithms in a BDI negotiation framework
This paper presents a novel, unified distributed constraint satisfaction framework based on automated negotiation. The Distributed Constraint Satisfaction Problem (DCSP) is one t...
Bao Chau Le Dinh, Kiam Tian Seow