Sciweavers

1228 search results - page 181 / 246
» Techniques for Reactive System Design: The Tools in TRADE
Sort
View
IEE
2008
108views more  IEE 2008»
13 years 10 months ago
Mining execution relations for crosscutting concerns
Aspect mining tries to identify crosscutting concerns in the code of existing systems and thus supports their adaption to an aspect-oriented design. A semi-automatic static aspect...
Jens Krinke
CVPR
2010
IEEE
14 years 6 months ago
Personalization of Image Enhancement
We address the problem of incorporating user preference in automatic image enhancement. Unlike generic tools for automatically enhancing images, we seek to develop methods that ca...
Sing Bing Kang, Ashish Kapoor, Dani Lischinski
SEFM
2007
IEEE
14 years 5 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
BPM
2003
Springer
91views Business» more  BPM 2003»
14 years 4 months ago
Business Process Management: A Survey
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
Wil M. P. van der Aalst, Arthur H. M. ter Hofstede...
DEXAW
2004
IEEE
124views Database» more  DEXAW 2004»
14 years 2 months ago
PAC-MEN: Personal Autonomic Computing Monitoring Environment
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
Roy Sterritt, David F. Bantz