1525 search results - page 231 / 305 » Formal Models for Communication-Based Design |
100
click to vote
DOCENG
2004
ACM
15 years 6 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
115
Voted
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
DATAMINE
2006
15 years 22 days ago
2006
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
89
Voted
JSA
2008
15 years 20 days ago
2008
The instability of the tree-like multicast overlay caused by nodes' abrupt departures is considered as one of the major problems for peer-to-peer (P2P) multicast systems. In ...