1525 search results - page 119 / 305 » Formal Models for Communication-Based Design |
119
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
132
Voted
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
133
Voted
OTM
2005
Springer
15 years 8 months ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
156
Voted
PERCOM
2010
ACM
15 years 21 days ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
167
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...