2514 search results - page 211 / 503 » The use of industrial-strength formal methods |
180
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
186
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
199
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
Several users have had problems using equivalence-based rewriting in ACL2 because the ACL2 rewriter caches its results. We describe this problem in some detail, together with a pa...
177
click to vote
SEFM
2005
IEEE
16 years 2 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
211
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...