11963 search results - page 298 / 2393 » A framework for linguistic modelling |
160
click to vote
ISCAPDCS
2001
15 years 8 months ago
2001
The problem addressed in this paper deals with data sharing as a means to cooperate. Our main focus is on transactional mechanisms to manage concurrent accesses to (partially) sha...
206
click to vote
ECEASST
2006
15 years 6 months ago
2006
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
159
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Spreadsheet engineering adapts the lessons of software engineering to spreadsheets, providing eight principles as a framework for organizing spreadsheet programming recommendation...
200
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
The aim of this paper is to study how preferences, which are used to model intrinsic strengths of arguments, can be used in argumentation. We show that they play two roles: i) to r...
171
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...