5255 search results - page 788 / 1051 » Formal Methods for Privacy |
153
click to vote
EUSAI
2004
Springer
16 years 3 hour ago
2004
Springer
In this paper we discuss research work that enables the development of mixed societies of communicating plants and artefacts. PLANTS is an EUfunded Research and Development project...
150
click to vote
FMCAD
2004
Springer
16 years 2 hour ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
169
click to vote
FMCAD
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
178
click to vote
FMCO
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
171
click to vote
FORMATS
2004
Springer
16 years 2 hour ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...