Sciweavers

2984 search results - page 199 / 597
» Method engineering process patterns
Sort
View
EDBTW
2006
Springer
14 years 29 days ago
Unsatisfiability Reasoning in ORM Conceptual Schemes
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
Mustafa Jarrar, Stijn Heymans
APSEC
2004
IEEE
14 years 1 months ago
JCMP: Linking Architecture with Component Building
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
Guoqing Xu, Zongyuan Yang, Haitao Huang
COMPSAC
2008
IEEE
13 years 11 months ago
Searching for Opportunities of Refactoring Sequences: Reducing the Search Space
During software development and evolution activities, the developers focus the refactoring efforts on choosing and applying refactoring patterns (or sequences of patterns) that ar...
Eduardo Kessler Piveta, João Araújo,...
ICMI
2007
Springer
183views Biometrics» more  ICMI 2007»
14 years 3 months ago
A survey of affect recognition methods: audio, visual and spontaneous expressions
Automated analysis of human affective behavior has attracted increasing attention from researchers in psychology, computer science, linguistics, neuroscience, and related discipli...
Zhihong Zeng, Maja Pantic, Glenn I. Roisman, Thoma...
SIAMCO
2008
121views more  SIAMCO 2008»
13 years 9 months ago
A Direct Solution Method for Stochastic Impulse Control Problems of One-dimensional Diffusions
We consider stochastic impulse control problems where the process is driven by one-dimensional diffusions. Impulse control problems are widely applied to financial engineering and...
Masahiko Egami