304 search results - page 60 / 61 » Verification of Timed Systems Using POSETs |
119
click to vote
SIGUCCS
2004
ACM
15 years 7 months ago
2004
ACM
Designing computing equipment for a computer laboratory is not easy. In a class in a computer laboratory, it is not unusual that all students do the same thing simultaneously. Tre...
130
click to vote
IJCAI
2003
15 years 3 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
154
click to vote
AOSD
2009
ACM
15 years 5 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
109
click to vote
DAC
2006
ACM
16 years 2 months ago
2006
ACM
For statistical timing and power analysis that are very important problems in the sub-100nm technologies, stochastic analysis of power grids that characterizes the voltage fluctua...
127
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...