4276 search results - page 238 / 856 » Techniques for Empirical Validation |
154
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
183
click to vote
ICDCS
2007
IEEE
16 years 29 days ago
2007
IEEE
Sensor nodes are often organized into clusters to facilitate many network operations such as data aggregation. Clustering has to be protected in hostile environments. Otherwise, a...
172
click to vote
IWIA
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper proposes a methodology to develop countermeasures against code injection attacks, and validates the methodology by working out a specific countermeasure. This methodol...
172
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
148
click to vote
ISMIR
2004
Springer
16 years 7 hour ago
2004
Springer
We motivate the problem of music recommendation based solely on acoustics from groups of related songs or ‘song sets’. We propose four solutions which can be used with any aco...