5863 search results - page 924 / 1173 » On Model-Checking of P Systems |
153
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
147
click to vote
CGO
2007
IEEE
16 years 29 days ago
2007
IEEE
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
163
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
: This paper provides a methodology to characterize the accuracy of PMU data (GPS-synchronized) and the applicability of this data for monitoring system stability via visualization...
161
click to vote
VR
2007
IEEE
16 years 26 days ago
2007
IEEE
A novel barrier strip autostereoscopic (AS) display is demonstrated using a solid-state dynamic parallax barrier. A dynamic barrier mitigates restrictions inherent in static barri...
166
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...