3555 search results - page 408 / 711 » Security-Critical System Development with Extended Use Cases |
195
Voted
ECRTS
2003
IEEE
16 years 3 days ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
196
click to vote
KBSE
2005
IEEE
16 years 12 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
179
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
163
click to vote
ACMSE
2004
ACM
16 years 7 days ago
2004
ACM
The need to develop portable applications for hand-held devices is growing rapidly. The proliferation of handheld devices such as cellular telephones and Personal Digital Assistan...
154
click to vote
SIAMADS
2010
15 years 1 months ago
2010
Lubrication equations describe many structuring processes of thin liquid films. We develop and apply a numerical framework suitable for their analysis employing a dynamical systems...