Sciweavers

3090 search results - page 211 / 618
» Document Processing with LinkIT
Sort
View
EDCC
2010
Springer
15 years 9 months ago
Software Process Synthesis in Assurance Based Development of Dependable Systems
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
Patrick J. Graydon, John C. Knight
EPK
2006
114views Management» more  EPK 2006»
15 years 5 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
WWW
2009
ACM
16 years 5 months ago
Using graphics processors for high performance IR query processing
Web search engines are facing formidable performance challenges as they need to process thousands of queries per second over billions of documents. To deal with this heavy workloa...
Shuai Ding, Jinru He, Hao Yan, Torsten Suel
ICSE
2008
IEEE-ACM
16 years 4 months ago
SOA process decisions: new challenges in architectural knowledge modeling
Architectural design decisions are commonly agreed as one of the main elements that constitute architectural knowledge. To avoid knowledge vaporization, architectural decisions an...
Qing Gu, Patricia Lago
ECBS
1999
IEEE
129views Hardware» more  ECBS 1999»
15 years 8 months ago
Situation Assessment and Decision Making Integrated into the Process Centered Environment
Researchers have defined a number of process modeling methods and have developed in-roads to process-centered environments that support process modeling and project control. Howev...
Stephanie White, Susan Fife Dorchak, John T. Keane...