23 search results - page 5 / 5 » Specification and Proof of Liveness Properties in B Event Sy... |
MOBISYS
2009
ACM
14 years 5 months ago
2009
ACM
Top end mobile phones include a number of specialized (e.g., accelerometer, compass, GPS) and general purpose sensors (e.g., microphone, camera) that enable new people-centric sen...
ECOOP
2009
Springer
14 years 6 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
IDA
1998
Springer
13 years 5 months ago
1998
Springer
We investigate a form of modular neural network for classification with (a) pre-separated input vectors entering its specialist (expert) networks, (b) specialist networks which ar...