640 search results - page 72 / 128 » Knowledge-Based Automation of a Design Method for Concurrent... |
136
click to vote
ETRICS
2006
15 years 6 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
133
click to vote
CIA
2006
Springer
15 years 6 months ago
2006
Springer
In this topical1 paper we try to give an analysis and overview of the current state of Semantic Web research. We point to different interpretations of the Semantic Web as the reaso...
126
click to vote
TVCG
2012
13 years 5 months ago
2012
— Euler diagrams are often used to visualize intersecting data sets in applications such as criminology; genetics, medicine and computer file systems. One interesting aspect of t...
108
click to vote
OSDI
2002
ACM
16 years 3 months ago
2002
ACM
Three experimental environments traditionally support network and distributed systems research: network emulators, network simulators, and live networks. The continued use of mult...
144
Voted
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...