Sciweavers

12670 search results - page 264 / 2534
» Requirements Modeling
Sort
View
ICWE
2010
Springer
15 years 4 months ago
Business Process Compliance through Reusable Units of Compliant Processes
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
David Schumm, Oktay Türetken, Natallia Kokash...
NLUCS
2008
15 years 7 months ago
The Role of Attention in Understanding Spatial Expressions under the Distractor Condition
Abstract. To develop a computational model of understanding spatial expressions, various factors should be taken into account. We have been exploring the relations between the good...
Tatsumi Kobayashi, Asuka Terai, Takenobu Tokunaga
ENTCS
2007
144views more  ENTCS 2007»
15 years 6 months ago
Partial Order Reduction for Rewriting Semantics of Programming Languages
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
Azadeh Farzan, José Meseguer
ICDT
1999
ACM
99views Database» more  ICDT 1999»
15 years 10 months ago
Increasing the Expressiveness of Analytical Performance Models for Replicated Databases
The vast number of design options in replicated databases requires efficient analytical performance evaluations so that the considerable overhead of simulations or measurements can...
Matthias Nicola, Matthias Jarke
ICANN
2007
Springer
16 years 13 days ago
Selection of Basis Functions Guided by the L2 Soft Margin
Support Vector Machines (SVMs) for classification tasks produce sparse models by maximizing the margin. Two limitations of this technique are considered in this work: firstly, th...
Ignacio Barrio, Enrique Romero, Lluís Belan...