94 search results - page 16 / 19 » Project Planning Support by Model Checking |
118
Voted
AMAI
1999
Springer
14 years 9 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
NORDICHI
2004
ACM
15 years 2 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
CAISE
2000
Springer
15 years 1 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
EDOC
2005
IEEE
15 years 3 months ago
2005
IEEE
The management of IT landscapes consisting of thousands of business applications, different middleware systems, and supporting various business processes is a challenge for modern...
SIGUCCS
2003
ACM
15 years 2 months ago
2003
ACM
This paper chronicles the collaborative efforts of Valparaiso University’s IT department and main library over the past five years. Highlights of selected resources and services...