3564 search results - page 381 / 713 » Evaluating a Formal Modelling Language |
157
click to vote
IR
2002
15 years 3 months ago
2002
This paper presents the design and evaluation of a text categorization method based on the Hierarchical Mixture of Experts model. This model uses a divide and conquer principle to ...
155
Voted
ESOP
2005
Springer
15 years 9 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
145
Voted
COSIT
1997
Springer
15 years 8 months ago
1997
Springer
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
127
click to vote
IFIP
1989
Springer
15 years 8 months ago
1989
Springer
‘‘Industrial strength’’ software development environments (SDEs) must provide facilities to address three essential properties of multi-developer software systems: evoluti...
163
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...