1888 search results - page 147 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
120
Voted
ROOM
2000
15 years 5 months ago
2000
For the specification of object-oriented systems, usually several models representing different views are developed. The necessary integration of views is often delayed until impl...
122
Voted
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
130
Voted
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
110
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
—Small talk is an important social lubricant that helps people, especially strangers, initiate conversations and make friends with each other in physical proximity. However, due ...
143
click to vote
WMRD
1990
15 years 7 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...