4036 search results - page 195 / 808 » Formal Methods |
166
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
156
click to vote
ICFCA
2009
Springer
15 years 11 months ago
2009
Springer
We present an approach to the cell formation problem, known from group technology, which is inspired by formal concept analysis. The cell formation problem consists in allocating p...
170
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
161
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
We consider the problem of improving named entity recognition (NER) systems by using external dictionaries--more specifically, the problem of extending state-of-the-art NER system...
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...