6198 search results - page 299 / 1240 » Multi-Paradigm Process Management |
161
click to vote
GRID
2008
Springer
15 years 5 months ago
2008
Springer
Grid data streaming applications are novel from others in that they require real-time data supply while the processing is going on, which necessitates harmonious collaborations am...
107
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
127
click to vote
MANSCI
2008
15 years 4 months ago
2008
We introduce callable products into a finite-capacity, two-period sales or booking process where low-fare customers book first. A callable product is a unit of capacity sold at th...
125
click to vote
ISF
2007
15 years 4 months ago
2007
This article discusses methods to support assurance of surveillance monitoring; and compliance verification knowledge management (CV-KM). The discussion includes aspects of primar...
127
click to vote
TVLSI
2008
15 years 4 months ago
2008
In this paper, we present a dynamic thermal management (DTM) algorithm based on (i) accurate estimation of the workload of frames in a group of pictures (GOP) in an MPEG-2 video st...