4418 search results - page 63 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
146
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
179
click to vote
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
Knowledge management is an increasingly important source of competitive advantage for organizations. Knowledge is a renewable, re-usable and accumulating asset of value to firms t...
137
click to vote
ERSHOV
1993
Springer
15 years 8 months ago
1993
Springer
Distributed database applications are a wide use of distributed systems. One of the major advantages of distributed database systems is the potential for achieving high availabili...
128
Voted
FDG
2009
ACM
15 years 10 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
137
Voted
RSEISP
2007
Springer
15 years 10 months ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...