1087 search results - page 54 / 218 » The DecideIT Decision Tool |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
WECWIS
2007
IEEE
14 years 1 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
BMCBI
2007
13 years 7 months ago
2007
Background: Knowing the subcellular location of proteins provides clues to their function as well as the interconnectivity of biological processes. Dozens of tools are available f...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
The following demonstration will provide an overview of the key functionality and capabilities of Magenta’s Logistics i-Scheduler – a multi-agent software tool for real time s...