Sciweavers

1365 search results - page 75 / 273
» Maximal Causality Analysis
Sort
View
88
Voted
CAIP
2009
Springer
165views Image Analysis» more  CAIP 2009»
15 years 7 months ago
Texture Editing Using Frequency Swap Strategy
A fully automatic colour texture editing method is proposed, which allows to synthesise and enlarge an artificial texture sharing anticipated properties from its parent textures. ...
Michal Haindl, Vojtech Havlícek
106
Voted
RTAS
2007
IEEE
15 years 7 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
ASIAN
2007
Springer
126views Algorithms» more  ASIAN 2007»
15 years 7 months ago
Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
Gergei Bana, Koji Hasebe, Mitsuhiro Okada
SIGMETRICS
2006
ACM
15 years 6 months ago
Stardust: tracking activity in a distributed storage system
Performance monitoring in most distributed systems provides minimal guidance for tuning, problem diagnosis, and decision making. Stardust is a monitoring infrastructure that repla...
Eno Thereska, Brandon Salmon, John D. Strunk, Matt...
HICSS
2005
IEEE
133views Biometrics» more  HICSS 2005»
15 years 6 months ago
Strategic Integration: A Knowledge Management Approach to Crisis Management
Every day, businesses are threatened by crises that could have been prevented or their impact lessened if only knowledge of causal and influencing factors were known and better ma...
Wei-Tsong Wang, Salvatore Belardo