Sciweavers

3885 search results - page 182 / 777
» Clarifying Goal Models
Sort
View
COCO
2004
Springer
82views Algorithms» more  COCO 2004»
15 years 10 months ago
On the Power of Quantum Proofs
We study the power of quantum proofs, or more precisely, the power of Quantum MerlinArthur (QMA) protocols, in two well studied models of quantum computation: the black box model ...
Ran Raz, Amir Shpilka
INTELLCOMM
2004
Springer
15 years 10 months ago
Towards Service Continuity for Generic Mobile Services
This paper discusses models of generic mobile services. The goal is to gain understanding of the challenges in designing, developing and deploying advanced mobile data services. Fi...
Ivar Jørstad, Do Van Thanh, Schahram Dustda...
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 10 months ago
Layered, Multi-Threaded, High-Level Performance Design
A primary goal of high-level modeling is to efficiently explore a broad design space, converging on an optimal or near-optimal system architecture before moving to a more detaile...
Andrew S. Cassidy, JoAnn M. Paul, Donald E. Thomas
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
15 years 10 months ago
Visual methods for web application design
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
138
Voted
CCGRID
2002
IEEE
15 years 9 months ago
Towards an Economy-Based Optimisation of File Access and Replication on a Data Grid
We are working on a system for the optimised access and replication of data on a Data Grid. Our approach is based on the use of an economic model that includes the actors and the ...
Mark James Carman, Floriano Zini, Luciano Serafini...