1525 search results - page 218 / 305 » Formal Models for Communication-Based Design |
94
Voted
DAC
1998
ACM
16 years 1 months ago
1998
ACM
Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the success of formal verification tools. Recent advances in reachability analysis and mode...
99
Voted
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
104
Voted
ICOST
2007
Springer
15 years 6 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
115
Voted
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
117
click to vote
SACMAT
2006
ACM
15 years 6 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...