1545 search results - page 178 / 309 » Information Systems Success Revisited |
171
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
142
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
161
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Louisiana State University’s Biomedical Research Center is going through a major expansion in reaching its 5 year strategic plan. With expansion comes an opportunity to “get t...
135
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...
160
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...