3564 search results - page 295 / 713 » Evaluating a Formal Modelling Language |
130
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
129
click to vote
SDB
1995
15 years 8 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
184
click to vote
CIBSE
2008
ACM
15 years 7 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
130
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
137
Voted
SIGIR
1993
ACM
15 years 9 months ago
1993
ACM
According to the logical model of Information Retrieval (IR), the task of IR can be described as the extraction, from a given document base, of those documents d that, given a que...