442 search results - page 56 / 89 » Model Checking of Systems Employing Commutative Functions |
COOTS
1997
13 years 8 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
KES
2007
Springer
13 years 7 months ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
ER
2007
Springer
14 years 1 months ago
2007
Springer
The emerging area of business process intelligence attempts to enhance the analytical capabilities of business process management systems by employing data warehousing and mining t...
CCE
2008
13 years 7 months ago
2008
Kinematic models for polydisperse suspensions are based on specifying the solid-fluid relative velocity for each solids species as a function of the local solids concentrations. On...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...