3335 search results - page 561 / 667 » Grid result checking |
118
click to vote
ENTCS
2006
15 years 4 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
122
click to vote
CG
2007
Springer
15 years 4 months ago
2007
Springer
We propose a novel method to support analytical processes by visually integrating context information directly into web pages. The context information is obtained from knowledge b...
131
click to vote
IEICET
2006
15 years 4 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
131
click to vote
IPL
2006
15 years 4 months ago
2006
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...
102
click to vote
ISI
2006
Springer
15 years 4 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...