7628 search results - page 1345 / 1526 » Spatial P systems |
166
click to vote
RTA
2007
Springer
15 years 11 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...
170
click to vote
DATE
2006
IEEE
15 years 11 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...
148
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
114
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
This study focused on improving vigilance performance through developing methods to arouse subjects to the possibility of errors in a data manipulation information warfare attack....
128
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we examine the relationship between users’ technology readiness (specifically employees) and their adoption of wireless technology and services in a longitudinal ...