Sciweavers

1525 search results - page 251 / 305
» Integrated Systems for Inducing Spatio-Temporal Process Mode...
Sort
View
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
15 years 10 months ago
Design Pattern Evolution and Verification Using Graph Transformation
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
Chunying Zhao, Jun Kong, Kang Zhang
VLDB
2005
ACM
125views Database» more  VLDB 2005»
15 years 9 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
IFM
2000
Springer
104views Formal Methods» more  IFM 2000»
15 years 7 months ago
Structuring Real-Time Object-Z Specifications
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
Graeme Smith, Ian J. Hayes
WOA
2007
15 years 5 months ago
Expectations driven approach for Situated, Goal-directed Agents
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
JSW
2007
134views more  JSW 2007»
15 years 3 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet