Sciweavers

4140 search results - page 530 / 828
» A Use Case Based Approach to Feature Models' Construction
Sort
View
FMSD
2006
140views more  FMSD 2006»
15 years 6 months ago
Dealing with practical limitations of distributed timed model checking for timed automata
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
Víctor A. Braberman, Alfredo Olivero, Ferna...
LPNMR
2007
Springer
16 years 21 days ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele
INFSOF
2006
160views more  INFSOF 2006»
15 years 6 months ago
B-SCP: A requirements analysis framework for validating strategic alignment of organizational IT based on strategy, context, and
Ensuring that organizational IT is in alignment with and provides support for an organization's business strategy is critical to business success. Despite this, business stra...
Steven J. Bleistein, Karl Cox, June M. Verner, Kei...
SYNASC
2005
IEEE
170views Algorithms» more  SYNASC 2005»
16 years 4 days ago
Density Based Clustering with Crowding Differential Evolution
The aim of this work is to analyze the applicability of crowding differential evolution to unsupervised clustering. The basic idea of this approach, interpreting the clustering pr...
Daniela Zaharie
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
15 years 11 months ago
Knowledge-Based IS Implementation Support: An Application to the IS Change Agent Role Problem
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
Meral Binbasioglu, Elaine Winston