3909 search results - page 646 / 782 » Extreme Model Checking |
132
Voted
AC
2002
Springer
15 years 2 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
116
Voted
ACL
2010
15 years 20 days ago
2010
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual texts (bitexts). In our method, a targetside tree frag...
142
Voted
SECON
2010
IEEE
15 years 15 days ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
167
Voted
WOA
2010
15 years 15 days ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
146
click to vote
IEEEARES
2009
IEEE
15 years 11 days ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...