Sciweavers

1112 search results - page 65 / 223
» Executing Abstract Test Cases
Sort
View
SDM
2008
SIAM
138views Data Mining» more  SDM 2008»
15 years 4 months ago
Learning Markov Network Structure using Few Independence Tests
In this paper we present the Dynamic Grow-Shrink Inference-based Markov network learning algorithm (abbreviated DGSIMN), which improves on GSIMN, the state-ofthe-art algorithm for...
Parichey Gandhi, Facundo Bromberg, Dimitris Margar...
ISSTA
2009
ACM
15 years 9 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
HICSS
2008
IEEE
129views Biometrics» more  HICSS 2008»
15 years 9 months ago
Strategic Business and IT Alignment Assessment: A Case Study Applying an Enterprise Architecture-Based Metamodel
Strategic Business and IT Alignment (SBITA) is still ranked amongst the top concerns of the enterprise’s management executives. Such alignment is an organization-wide issue that...
Leonel Plazaola, Johnny Flores, Norman Vargas, Mat...
OTM
2007
Springer
15 years 9 months ago
Volunteer Computing, an Interesting Option for Grid Computing: Extremadura as Case Study
This paper presents the works done by several research groups from University of Extremadura and CETA-CIEMAT (Centro Extreme˜no de Tecnolog´ıas Avanzadas) in order to deploy an ...
Miguel Cárdenas Montes, Miguel A. Vega-Rodr...
ACMICEC
2008
ACM
255views ECommerce» more  ACMICEC 2008»
15 years 5 months ago
Business strategy-IT alignment in a multi-actor setting: a mobile e-service case
In this paper we present a framework and methodology for aligning the business strategy and IT/IS for an organization offering an e-service in a multi-organizational setting. We e...
Vincent Pijpers, Jaap Gordijn, Hans Akkermans