2514 search results - page 260 / 503 » The use of industrial-strength formal methods |
154
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
In an object-oriented language, a derived class may declare a method with the same signature as a method in the base class. The meaning of the re-declaration depends on the langua...
189
click to vote
WSC
2007
15 years 9 months ago
2007
Importance Sampling is a potentially powerful variance reduction technique to speed up simulations where the objective depends on the occurrence of rare events. However, it is cru...
151
click to vote
LDTA
2010
15 years 6 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
201
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
185
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...