Sciweavers

6279 search results - page 144 / 1256
» Objects as session-typed processes
Sort
View
SOFSEM
2010
Springer
16 years 3 months ago
Continuous Processing of Preference Queries in Data Streams
Preference queries have received considerable attention in the recent past, due to their use in selecting the most preferred objects, especially when the selection criteria are con...
Maria Kontaki, Apostolos N. Papadopoulos, Yannis M...
HICSS
2010
IEEE
190views Biometrics» more  HICSS 2010»
16 years 1 months ago
Managing the Current Customization of Process Related IT-Services
IT service providers are increasingly required to orientate their service portfolio towards the IT support of their consumer’s business processes. This enables diversification a...
Henrik Brocke, Falk Uebernickel, Walter Brenner
ISPW
2009
IEEE
16 years 1 months ago
Bridge the Gap between Software Test Process and Business Value: A Case Study
For a software project to succeed, acceptable quality must be achieved within an acceptable cost, providing business value to the customers, and keeping delivery time short. Softwa...
Qi Li, Mingshu Li, Ye Yang, Qing Wang, Thomas Tan,...
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
MMM
2007
Springer
140views Multimedia» more  MMM 2007»
16 years 24 days ago
Accelerating Non-photorealistic Video Effects Using Compressed Domain Processing
Recently, various non-photorealistic rendering (NPR) techniques have been developed for computers to generate images of different artistic styles automatically. Due to the complexi...
Wen-Hung Liao