Sciweavers

2813 search results - page 422 / 563
» Formalizing Architectural Connection
Sort
View
146
Voted
CASCON
2007
138views Education» more  CASCON 2007»
15 years 5 months ago
SLA-driven business process management in SOA
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
Vinod Muthusamy, Hans-Arno Jacobsen, Phil Coulthar...
168
Voted
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
13 years 11 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...
194
Voted

Publication
233views
17 years 2 months ago
Design Considerations for the Virtual Source/Virtual Destination (VS/VD) Feature in the ABR Service of ATM Networks
The Available Bit Rate (ABR) service in ATM networks has been specified to allow fair and efficient support of data applications over ATM utilizing capacity left over after servici...
Shiv Kalyanaraman, Raj Jain, Jianping Jiang, Rohit...
140
Voted
ICPR
2002
IEEE
16 years 4 months ago
Color-Based Face Detection Using Skin Locus Model and Hierarchical Filtering
This paper introduces a new architecture for face detection in color images. Based on skin locus and successive detectors, the method allows high efficiency under drastically vary...
Abdenour Hadid, Birgitta Martinkauppi, Matti Pieti...
223
Voted
GIS
2008
ACM
16 years 4 months ago
Editing and versioning dynamic network models
Network data models are widely used to describe the connectivity between spatial features in GIS architectures. Recent applications demand that such models are editable in multius...
Petko Bakalov, Erik G. Hoel, Wee-Liang Heng, Vassi...