923 search results - page 26 / 185 » Proving the value of formal methods |
191
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
165
click to vote
HICSS
2009
IEEE
16 years 24 days ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
142
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
129
click to vote
ISMVL
2007
IEEE
16 years 8 days ago
2007
IEEE
Simulation of gate circuits is an efficient method of detecting hazards and oscillations that may occur because of delays. Ternary simulation consists of two algorithms, A and B,...
168
click to vote
SIGECOM
2003
ACM
15 years 11 months ago
2003
ACM
Combinatorial auctions, where bidders can bid on bundles of items are known to be desirable auction mechanisms for selling items that are complementary and/or substitutable. Howev...