17983 search results - page 364 / 3597 » Set Types and Applications |
209
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
197
click to vote
PAMI
1998
15 years 6 months ago
1998
—This paper concerns an efficient algorithm for learning in the limit a special type of regular languages called strictly locally testable languages from positive data, and its a...
179
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The importance of nutritional guidance grows as nutritional problems, such as obesity and type-2 diabetes, are becoming more common. Nutritional guidance is carried out by mapping ...
185
click to vote
IACR
2011
14 years 6 months ago
2011
Protocols for generic secure multi-party computation (MPC) come in two forms: they either represent the function being computed as a boolean circuit, or as an arithmetic circuit o...
148
click to vote
CRIWG
1998
15 years 8 months ago
1998
This paper presents an objects-based framework for building collaborative applications. The framework consists of ten objects: box, boxObject, environment, user, role, session, br...