Sciweavers

4326 search results - page 397 / 866
» A Model for Process Service Interaction
Sort
View
ACHI
2009
IEEE
15 years 11 months ago
A Structured Approach to Support 3D User Interface Development
— Given its current state of the art, Model-Based UI Development (MBDUI) is able to fulfill the major requirements of desktop and mobile applications, such as form-based user int...
Juan Manuel González-Calleros, Jean Vanderd...
WSC
2004
15 years 6 months ago
Characterizations and Relationships of World Views
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
C. Michael Overstreet, Richard E. Nance
SIGMETRICS
2008
ACM
161views Hardware» more  SIGMETRICS 2008»
15 years 4 months ago
Bound analysis of closed queueing networks with workload burstiness
Burstiness and temporal dependence in service processes are often found in multi-tier architectures and storage devices and must be captured accurately in capacity planning models...
Giuliano Casale, Ningfang Mi, Evgenia Smirni
132
Voted
SPIN
1999
Springer
15 years 9 months ago
Embedding a Dialect of SDL in PROMELA
Abstract. We describe a translation from a dialect of SDL-88 to PROMELA, the input language of the SPIN model checker. The fairly straightforward translation covers data types as w...
Heikki Tuominen
LCN
2007
IEEE
15 years 11 months ago
A Simulation Study of Multi-Color Marking of TCP Aggregates
— Service Level Agreements (SLAs) are contracts signed between a provider and a customer to govern the amount of traffic that will be serviced. This work pinpoints an important ...
Miriam Allalouf, Yuval Shavitt