5863 search results - page 1016 / 1173 » On Model-Checking of P Systems |
119
click to vote
MTSR
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the Markup Analysis Project, a research initiative of the Information Policy and Practice Research Group at the University of Sydney to investigate frameworks ...
123
click to vote
OTM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
125
click to vote
PERVASIVE
2007
Springer
15 years 10 months ago
2007
Springer
While commercial solutions for precise indoor positioning exist, they are costly and require installation of additional infrastructure, which limits opportunities for widespread ad...
157
click to vote
RTA
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
158
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...