3868 search results - page 110 / 774 » Open Systems in TLA |
185
click to vote
SEFM
2005
IEEE
16 years 12 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
158
click to vote
ISPEC
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
188
click to vote
ICES
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We propose a tuning method for MEMS gyroscopes based on evolutionary computation to efficiently increase the sensitivity of MEMS gyroscopes through tuning. The tuning met...
169
click to vote
EUROPAR
2004
Springer
16 years 6 days ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
175
click to vote
IPTPS
2004
Springer
16 years 6 days ago
2004
Springer
We propose a new cryptographic technique, Acknowledgment Compression, permitting senders of multicast data to verify that all interested parties have either received the data or l...