8828 search results - page 21 / 1766 » Formal methods in practice |
AFRICACRYPT
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. This article investigates the relevance of the theoretical framework on profiled side-channel attacks presented by F.-X. Standaert et al. at Eurocrypt 2009. The analyses ...
100
click to vote
IFL
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
ICDE
1994
IEEE
15 years 1 months ago
1994
IEEE
The relational data model is based on sets of tuples, i.e. it does not allow duplicate tuples in a relation. Many database languages and systems do require multi-set place, the hi...
SAC
2010
ACM
14 years 7 months ago
2010
ACM
Software Product Line (SPL) Engineering has to deal with interrelated, complex models such as feature and architecture models, hence traceability is fundamental to keep them consi...
113
click to vote
DFKI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...