Sciweavers

2597 search results - page 416 / 520
» A Relational Approach to Support Software Architecture Analy...
Sort
View
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 3 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
SPIESR
2004
127views Database» more  SPIESR 2004»
15 years 6 months ago
New perspective on visual information retrieval
Visual information retrieval (VIR) is a research area with more than 300 scientific publications every year. Technological progress lets surveys become out of date within a short ...
Horst Eidenberger
CIKM
2011
Springer
14 years 5 months ago
Joint inference for cross-document information extraction
Previous information extraction (IE) systems are typically organized as a pipeline architecture of separated stages which make independent local decisions. When the data grows bey...
Qi Li, Sam Anzaroot, Wen-Pin Lin, Xiang Li, Heng J...
HAPTICS
2005
IEEE
15 years 11 months ago
The Effect of Quantization and Coulomb Friction on the Stability of Haptic Rendering
Rendering stiff virtual objects remains a core challenge in the field of haptics. A study of this problem is presented, which relates the maximum achievable object stiffness to t...
Nicola Diolaiti, Günter Niemeyer, Federico Ba...
BPM
2003
Springer
91views Business» more  BPM 2003»
15 years 10 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...