2488 search results - page 153 / 498 » An improvement in formal verification |
125
click to vote
AIME
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
117
click to vote
IJIT
2004
15 years 2 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
117
Voted
IWPSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language an...
101
click to vote
ICSE
1993
IEEE-ACM
15 years 5 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
101
click to vote
DEXAW
2008
IEEE
15 years 3 months ago
2008
IEEE
In an authorship verification problem one is given writing examples from an author A, and one is asked to determine whether or not each text in fact was written by A. In a more ge...