2702 search results - page 190 / 541 » Practically Applicable Formal Methods |
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
109
Voted
SIGSOFT
2010
ACM
14 years 8 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
93
Voted
ICAIL
2003
ACM
15 years 4 months ago
2003
ACM
Problems with legal quality will not only increase effort and costs of the law enforcement organisations, but also undermines the regulating power of the legislator. Unintended us...
JUCS
2008
14 years 11 months ago
2008
: Web searching techniques have been investigated and implemented in many aspects. Particularly, in case of personalization, more important issue is how to manipulate the results r...
80
Voted
ISTCS
1993
Springer
15 years 3 months ago
1993
Springer
The design of fiducials for precise image registration is of major practical importance in computer vision, especially in automatic inspection applications. We analyze the subpix...