5863 search results - page 944 / 1173 » On Model-Checking of P Systems |
141
click to vote
ACSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
General-purpose operating systems provide a rich computing environment both to the user and the attacker. The declining cost of hardware and the growing security concerns of softw...
158
click to vote
CGO
2003
IEEE
15 years 12 months ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
156
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
A technological challenge that distinguishes group support systems (GSS) from many other technologies is the need to accommodate a variety of race conditions. A race condition occ...
171
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
Diagrams are a critical part of virtually all scientific and technical documents. Analyzing diagrams will be important for building comprehensive document retrieval systems. This ...
240
click to vote
ISCA
2003
IEEE
15 years 12 months ago
2003
IEEE
Trends in microprocessors of increasing die size and clock speed and decreasing feature sizes have fueled rapidly increasing performance. However, the limited improvements in DRAM...