5863 search results - page 1059 / 1173 » On Model-Checking of P Systems |
125
click to vote
ULPAA
1992
15 years 5 months ago
1992
The goal of the Touring Machine project is to provide a reliable and extensible software platform that supports independently-developed distributed multimedia applications. The pr...
104
click to vote
WCE
2007
15 years 5 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
144
click to vote
WCE
2007
15 years 5 months ago
2007
—This paper presents, a two-stage heuristic based procedure for generating part family and machine cell formation in Cellular Manufacturing System. It decreases exceptional eleme...
122
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The static asset protection problem (SAP) in a road network is that of allocating resources to protect vertices, given any possible behavior by an adversary determined to attack t...
167
click to vote
CAISE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...