Sciweavers

2350 search results - page 22 / 470
» A Reflective Approach to Providing Flexibility in Applicatio...
Sort
View
82
Voted
SEFM
2005
IEEE
15 years 5 months ago
Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
Thomas Wilson, Savi Maharaj, Robert G. Clark
VLDB
1992
ACM
122views Database» more  VLDB 1992»
15 years 3 months ago
Using Flexible Transactions to Support Multi-System Telecommunication Applications
Service order provisioning is an important telecommunication application that automates the process of providing telephone services in response to the customer requests. It is an ...
Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Am...
ECEH
2006
144views Healthcare» more  ECEH 2006»
15 years 1 months ago
Process Based Data Logistics: Data Integration for Healthcare Applications
Data integration in medical applications is a crucial and sensitive task. It turns out that there are rigid factors like heterogeneous, distributed data sources, security, and comp...
Stefan Jablonski
SIGCOMM
2009
ACM
15 years 6 months ago
ROAR: increasing the flexibility and performance of distributed search
To search the web quickly, search engines partition the web index over many machines, and consult every partition when answering a query. To increase throughput, replicas are adde...
Costin Raiciu, Felipe Huici, Mark Handley, David S...
PROCEDIA
2010
80views more  PROCEDIA 2010»
14 years 10 months ago
Flexible delivery of visualization software and services
An important issue in the design of visualization systems is to allow flexibility in providing a range of interfaces to a single body of algorithmic software. In this paper we de...
Jason Wood, Jungwook Seo, David J. Duke, Jeremy Wa...