Search Sciweavers | Sciweavers

15253 search results - page 235 / 3051

» Integer-Programming Software Systems

click to vote

ICEIS
2005
IEEE

75views Information Technology» more ICEIS 2005»

Towards Process-Aware Enterprise Software Environments

16 years 4 days ago

Download dbis.eprints.uni-ulm.de

Bela Mutschler, Johannes Bumiller, Manfred Reicher...

claim paper

Read More »

113

click to vote

ICEIS
2003
IEEE

96views Information Technology» more ICEIS 2003»

Software Confederations and Manufacturing

15 years 11 months ago

Download www.ksi.mff.cuni.cz

Jaroslav Král, Michal Zemlicka

claim paper

Read More »

click to vote

WORDS
2003
IEEE

91views Embedded Systems» more WORDS 2003»

Towards Composable Distributed Real-time and Embedded Software

15 years 11 months ago

Download www.cs.wustl.edu

Krishnakumar Balasubramanian, Nanbor Wang, Douglas...

claim paper

Read More »

150

click to vote

FOSSACS
2010
Springer

165views Software Engineering» more FOSSACS 2010»

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems

16 years 1 months ago

Download homepages.inf.ed.ac.uk

Anthony Widjaja To, Leonid Libkin

claim paper

Read More »

127

click to vote

FSTTCS
2009
Springer

113views Software Engineering» more FSTTCS 2009»

Deductive Verification of Continuous Dynamical Systems

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers