1856 search results - page 229 / 372 » Formal Dialectic Specification |
138
Voted
DAGSTUHL
2003
15 years 6 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
153
Voted
PARMA
2004
15 years 6 months ago
2004
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
131
Voted
SIROCCO
2004
15 years 6 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
137
click to vote
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
161
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...