2878 search results - page 28 / 576 » Analyzing the Uses of a Software Modeling Tool |
CC
2005
Springer
14 years 1 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
BMCBI
2006
13 years 8 months ago
2006
Background: Association mapping using abundant single nucleotide polymorphisms is a powerful tool for identifying disease susceptibility genes for complex traits and exploring pos...
BIRTHDAY
2010
Springer
13 years 4 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
GI
1994
Springer
14 years 2 days ago
1994
Springer
Business processes play an important role in analyzing and designing a company's behaviour and organization. Modeling business processes is an integral part of the Semantic O...
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...