11168 search results - page 73 / 2234 » Abstract State Processes |
131
Voted
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
98
Voted
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
ound in BMC by Combining Constant Propagation and Abstraction Roy Armoni, Limor Fix1 , Ranan Fraer1 , Tamir Heyman1,3 , Moshe Vardi2 , Yakir Vizel1 , Yael Zbar1 1 Logic and Validat...
95
Voted
VIS
2006
IEEE
16 years 3 months ago
2006
IEEE
ing Abstract Data Using Animation Amit P. Sawant Department of Computer Science, North Carolina State University Christopher G. Healey Department of Computer Science, North Carolin...
136
click to vote
IAJIT
2008
15 years 2 months ago
2008
Abstract: State-of-the-art supply chain management systems can be obtained from the supply chain operations referencemodel for business applications, advancement and practices. Pro...
109
Voted
WWW
2009
ACM
16 years 3 months ago
2009
ACM
ion and Refinement Hyunyoung Kil Wonhong Nam Dongwon Lee The Pennsylvania State University, University Park, PA 16802, USA {hykil, wnam, dongwon}@psu.edu The behavioral descriptio...