1965 search results - page 63 / 393 » On the analysis of interacting pushdown systems |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
ICIAR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Digital signage is a very attractive medium for advertisement and general communications in public open spaces. In order to add interaction capabilities to digital signag...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Knowledge Management Systems (KMS) play increasingly important roles in organizations due to the realization of the value of knowledge and capabilities of computerized systems to ...