606 search results - page 45 / 122 » A Comparative Study of Industrial Static Analysis Tools |
104
click to vote
BMCBI
2006
15 years 18 days ago
2006
Background: Anatomical studies of neural circuitry describing the basic wiring diagram of the brain produce intrinsically spatial, highly complex data of great value to the neuros...
95
Voted
BMCBI
2010
15 years 20 days ago
2010
Background: Metagenomics is the study of environmental samples using sequencing. Rapid advances in sequencing technology are fueling a vast increase in the number and scope of met...
ASWEC
2000
IEEE
15 years 5 months ago
2000
IEEE
As part of an Australian National Industry Improvement Program, a software development 'best practice' survey was conducted in Queensland. The questionnaire was adapted ...
109
Voted
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
106
click to vote
ECIS
2003
15 years 1 months ago
2003
Researches that have recently investigated the impact of developments in Information Technologies (IT) on human capital in the banking industry analysed only marginally the evolut...