Sciweavers

432 search results - page 58 / 87
» A Formal Reuse-Based Approach for Interactively Designing Or...
Sort
View
DEXAW
2005
IEEE
96views Database» more  DEXAW 2005»
15 years 6 months ago
Mining Complex Patterns from Protein Surfaces
In the domain of bioinformatics, the role played in the biological process by proteins, that act as transmitters and receivers of information thus ruling the mechanisms that deter...
Lorenzo Baldacci, Matteo Golfarelli
CAI
2006
Springer
15 years 15 days ago
Addressing the Conflicting Dimension of Groupware: A Case Study in Software Requirements Validation
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
Pedro Antunes, João Ramires, Ana Resp&iacut...
121
Voted
EMSOFT
2007
Springer
15 years 6 months ago
Performance estimation of distributed real-time embedded systems by discrete event simulations
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...
Gabor Madl, Nikil Dutt, Sherif Abdelwahed
125
Voted
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
15 years 4 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
70
Voted
CHI
2008
ACM
16 years 25 days ago
Crowdsourcing user studies with Mechanical Turk
User studies are important for many aspects of the design process and involve techniques ranging from informal surveys to rigorous laboratory studies. However, the costs involved ...
Aniket Kittur, Ed H. Chi, Bongwon Suh