23 search results - page 5 / 5 » Specification and Proof of Liveness Properties in B Event Sy... |
138
click to vote
MOBISYS
2009
ACM
16 years 7 days 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...
201
click to vote
ECOOP
2009
Springer
16 years 10 days 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...
112
click to vote
IDA
1998
Springer
14 years 11 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...