17789 search results - page 288 / 3558 » Exceptional Use Cases |
198
click to vote
PADL
2004
Springer
16 years 22 hour ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
152
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
162
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
The aim of this study is to identify factors that improve the performance of integrated supply chains (SCs). We developed the ‘extended strategic alignment model’ based on the ...
168
click to vote
ICNP
2003
IEEE
15 years 12 months ago
2003
IEEE
Peer-to-peer systems enable efficient resource aggregation and are inherently scalable since they do not depend on any centralized authority. However, lack of a centralized autho...
153
click to vote
SAINT
2003
IEEE
15 years 12 months ago
2003
IEEE
Before Feature Reduction System (FRS) was developed, software engineers were required to use multiple independent web-based information-reporting systems when conducting multiple ...