12774 search results - page 194 / 2555 » A Framework for Proof Systems |
161
click to vote
ICIS
2000
15 years 6 months ago
2000
As the basis of value creation increasingly depends on the leverage of the intangible assets of firms, Knowledge Management Systems (KMS) are emerging as powerful sources of compe...
162
click to vote
JCIT
2008
15 years 4 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
150
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Owing to the ever growing complexity of present day computer vision systems, system architecture has become an emerging topic in vision research. Systems that integrate numerous m...
122
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
136
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
The objective of research support systems (RSS) is to support and improve research, which may be viewed as a counterpart of decision support systems (DSS) for scientists. Web-base...