Sciweavers

524 search results - page 35 / 105
» ProbFAST: Probabilistic Functional Analysis System Tool
Sort
View
SFM
2004
Springer
14 years 2 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
HICSS
2006
IEEE
130views Biometrics» more  HICSS 2006»
14 years 3 months ago
Governance of the IT Function: Valuing Agility and Quality of Training, Cooperation and Communications
It has long been argued that the organizational structure and reporting relationships of the IT functional area profoundly affects organizational performance. However, since most ...
Felipe Csaszar, Eric K. Clemons
SIGMOD
2004
ACM
184views Database» more  SIGMOD 2004»
14 years 9 months ago
CORDS: Automatic Discovery of Correlations and Soft Functional Dependencies
The rich dependency structure found in the columns of real-world relational databases can be exploited to great advantage, but can also cause query optimizers--which usually assum...
Ihab F. Ilyas, Volker Markl, Peter J. Haas, Paul B...
POPL
2008
ACM
14 years 9 months ago
From dirt to shovels: fully automatic tool generation from ad hoc data
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
Kathleen Fisher, David Walker, Kenny Qili Zhu, Pet...
BIB
2007
82views more  BIB 2007»
13 years 9 months ago
High-throughput modeling and analysis of protein structural dynamics
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
Xiong Liu, Hassan A. Karimi