2556 search results - page 297 / 512 » The Triconnected Abstraction of Process Models |
189
click to vote
DAC
2008
ACM
15 years 9 months ago
2008
ACM
level of accuracy in IC package abstraction (compact models) to ensure robust thermal design. An overarching goal must be to reduce power consumption per function through smart pro...
231
click to vote
EVOW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The Berth Allocation Problem (BAP) consists on programming and allocating ships to berthing areas along a quay. The BAP is modeled as a vehicle routing problem and a rece...
166
click to vote
WOTUG
2008
15 years 8 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
186
click to vote
DAIS
2006
15 years 8 months ago
2006
Abstract. In this paper, a model is presented which allows the composition of web services by means of a special web service, named WSInterConnect. Such a service might be used in ...
182
click to vote
GG
2008
Springer
15 years 8 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...