770 search results - page 77 / 154 » Abstract Yourself With Modules |
116
Voted
ESSOS
2010
Springer
15 years 9 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
CISIS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
119
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— In this paper, a strategy for pathological tremor compensation based on co-contraction of antagonist muscles induced by Functional Electrical Stimulation (FES) is prese...
AI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Version Control Systems (VCS) have always played an essential role for developing reliable software. Recently, many new ways of utilizing the information hidden in VCS ha...
109
click to vote
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. TaxoMap is an alignment tool which aims to discover rich correspondences between concepts. It performs an oriented alignment (from a source to a target ontology) and take...