9387 search results - page 1360 / 1878 » An Optimal Process Model for a Real Time Process |
159
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our apllows user to build the abstract composition b...
221
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
167
click to vote
PKDD
2007
Springer
16 years 1 months ago
2007
Springer
In discretization of a continuous variable its numerical value range is divided into a few intervals that are used in classification. For example, Na¨ıve Bayes can benefit from...
179
click to vote
ICESS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
180
click to vote
FDL
2003
IEEE
16 years 10 days ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...