5810 search results - page 192 / 1162 » An Approach to Programming Based on Concepts |
107
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
A new computational concept of timing jitter is proposed that is suitable for exploitation in circuit simulators. It is based on the approximation of computed noise characteristic...
137
click to vote
IJSN
2006
15 years 6 months ago
2006
: Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they ...
169
click to vote
RISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
156
click to vote
CCIA
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
155
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...