Sciweavers

5227 search results - page 246 / 1046
» Enterprise modeling using class and instance models
Sort
View
VLDB
2005
ACM
125views Database» more  VLDB 2005»
15 years 11 months ago
Using Association Rules for Fraud Detection in Web Advertising Networks
Discovering associations between elements occurring in a stream is applicable in numerous applications, including predictive caching and fraud detection. These applications requir...
Ahmed Metwally, Divyakant Agrawal, Amr El Abbadi
CBSE
2005
Springer
15 years 11 months ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
VMCAI
2005
Springer
15 years 11 months ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
EACL
1989
ACL Anthology
15 years 6 months ago
A Metaplan Model For Problem-Solving Discourse
The structure of problem-solving discourse in the expert advising setting can be modeled by adding a layer of metaplans to a plan-based model of the task domain. Classes of metapl...
Lance A. Ramshaw
TSMC
2008
86views more  TSMC 2008»
15 years 5 months ago
Object Worlds in Work Domain Analysis: A Model of Naval Damage Control
Abstract--This paper presents a work domain analysis of damage control on the Canadian Halifax Class frigate. Our analysis made use of the modeling construct of object worlds to he...
G. L. Torenvliet, G. A. Jamieson, R. Chow