2702 search results - page 287 / 541 » Practically Applicable Formal Methods |
161
Voted
SEBD
2003
15 years 4 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
116
Voted
VG
2003
15 years 4 months ago
2003
In this paper, we propose a novel shape and physical attribute handling system Volume-CAD designated for practical and robust use in the manufacturing process of various industrie...
113
Voted
ASPDAC
2008
ACM
15 years 3 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...
128
click to vote
ECMDAFA
2008
Springer
15 years 3 months ago
2008
Springer
In requirements engineering, there are several approaches for requirements modeling such as goal-oriented, aspect-driven, and system requirements modeling. In practice, companies o...
178
Voted
CN
2008
15 years 2 months ago
2008
act 11 Overlay multicasting has been proposed for implementing multicast routing in the application layer as a practical alter12 native to IP multicasting. Since a packet in overla...