2702 search results - page 273 / 541 » Practically Applicable Formal Methods |
126
click to vote
IPL
2008
15 years 2 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
111
Voted
TIT
1998
15 years 2 months ago
1998
—We investigate a new class of codes for the optimal covering of vertices in an undirected graph Gsuch that any vertex in G can be uniquely identified by examining the vertices ...
116
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
120
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
In recent years, a number of projects have turned to Wikipedia to establish large-scale taxonomies that describe orders of magnitude more entities than traditional manually built ...
119
Voted
ISOLA
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...