Sciweavers

666 search results - page 95 / 134
» Component-Based Design and Analysis: A Case Study
Sort
View
73
Voted
SIGDOC
2009
ACM
15 years 4 months ago
User's issues in crossmedia applications
Technology allows users to interact with a wide variety of information and services. However, more and more users need to integrate complementary content to previously accessed in...
João Soares de Oliveira Neto, Nicolas Rouss...
AOIS
2003
15 years 1 months ago
Towards a More Expressive and Refinable Multiagent System Engineering Methodology
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report th...
Shiva Vafadar, Ahmad Abdollahzadeh Barfouroush, Mo...
EOR
2006
117views more  EOR 2006»
14 years 11 months ago
Heuristics for selecting robust database structures with dynamic query patterns
The success of a company increasingly depends on timely information (internal or external) being available to the right person at the right time for crucial managerial decision-ma...
Andrew N. K. Chen, Paulo B. Goes, Alok Gupta, Jame...
HF
2002
95views more  HF 2002»
14 years 11 months ago
Formal Verification of Human-Automation Interaction
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
Asaf Degani, Michael Heymann
INFOCOM
2010
IEEE
14 years 10 months ago
Buffer Management for Aggregated Streaming Data with Packet Dependencies
Abstract—In many applications the traffic traversing the network has inter-packet dependencies due to application-level encoding schemes. For some applications, e.g., multimedia...
Gabriel Scalosub, Peter Marbach, Jörg Liebehe...