Sciweavers

5353 search results - page 369 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
DEBU
2006
112views more  DEBU 2006»
15 years 7 months ago
Web Information Extraction and User Modeling: Towards Closing the Gap
Web search engines have become the primary method of accessing information on the web. Billions of queries are submitted to major web search engines, reflecting a wide range of in...
Eugene Agichtein
CJ
2004
141views more  CJ 2004»
15 years 7 months ago
Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
Andrea Bondavalli, Roberto Filippini
ICDE
2009
IEEE
160views Database» more  ICDE 2009»
15 years 5 months ago
Perm: Processing Provenance and Data on the Same Data Model through Query Rewriting
Data provenance is information that describes how a given data item was produced. The provenance includes source and intermediate data as well as the transformations involved in pr...
Boris Glavic, Gustavo Alonso
WISE
2009
Springer
16 years 4 months ago
Formal Identification of Right-Grained Services for Service-Oriented Modeling
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
Yukyong Kim, Kyung-Goo Doh
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
16 years 4 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening