1525 search results - page 112 / 305 » Formal Models for Communication-Based Design |
116
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
135
Voted
GLOBECOM
2010
IEEE
15 years 21 days ago
2010
IEEE
In this work, we investigate the security of anonymous wireless sensor networks. To lay down the foundations of a formal framework, we propose a new model for analyzing and evalua...
123
Voted
CHI
2006
ACM
16 years 3 months ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
143
Voted
SEMWEB
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
112
Voted
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...