6978 search results - page 1020 / 1396 » On Proofs in System P |
176
click to vote
IRI
2003
IEEE
16 years 29 days ago
2003
IEEE
Distributed collaboration over the Internet has become increasingly common in recent years, supported by various technologies such as virtual workspace systems. Often such collabo...
180
click to vote
GROUP
2003
ACM
16 years 29 days ago
2003
ACM
Data are a fundamental component of science and engineering work, and the ability to share data is critical to the validation and progress of science. Data sharing and reuse in so...
199
click to vote
IUI
2003
ACM
16 years 28 days ago
2003
ACM
The Stock Tracker is an adaptive recommendation system for trading stocks that automatically acquires content-based models of user preferences to tailor its buy and sell advice. T...
186
click to vote
CAISE
2003
Springer
16 years 28 days ago
2003
Springer
Abstract. Decision-support systems provide a large functionality supporting the decision making process. They allow to draw conclusions from data provided by users. In order to be ...
234
Voted
FM
2003
Springer
16 years 27 days ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...