5863 search results - page 843 / 1173 » On Model-Checking of P Systems |
184
click to vote
CSL
2005
Springer
16 years 8 days ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
179
click to vote
ESAW
2005
Springer
16 years 7 days ago
2005
Springer
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...
189
click to vote
GREC
2005
Springer
16 years 7 days ago
2005
Springer
We present an approach for recognising mathematical texts using an extensive LATEX symbol database and a novel recognition algorithm. The process consists essentially of three step...
183
click to vote
ICCBR
2005
Springer
16 years 7 days ago
2005
Springer
We focus on the problem of selecting the few vehicles in a fleet that are expected to last the longest without failure. The prediction of each vehicle’s remaining life is based o...
166
click to vote
ICFEM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...