3742 search results - page 320 / 749 » On the Use of Formal Techniques for Validation |
173
Voted
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
184
click to vote
NDSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Fingerprinting is a widely used technique among the networking and security communities for identifying different implementations of the same piece of networking software running ...
179
click to vote
IPPS
2006
IEEE
16 years 22 days ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...
169
click to vote
CAMAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- In this paper we discuss the exploitation of aggregated mobility patterns and physical proximity of nodes in a so-called ambient network, i.e., a wireless network with h...
174
click to vote
MEMOCODE
2006
IEEE
16 years 21 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...