Sciweavers

755 search results - page 126 / 151
» On the computability of agent-based workflows
Sort
View
FASE
2008
Springer
13 years 9 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu
SPRINGSIM
2008
13 years 8 months ago
Implementation by simulation; strategies for ultrasound screening for hip dysplasia in the Netherlands
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
Sabrina Ramwadhdoebe, Godefridus G. van Merode, Ma...
BMCBI
2005
94views more  BMCBI 2005»
13 years 7 months ago
T.I.M.S: TaqMan Information Management System, tools to organize data flow in a genotyping laboratory
Background: Single Nucleotide Polymorphism (SNP) genotyping is a major activity in biomedical research. The Taqman technology is one of the most commonly used approaches. It produ...
Stéphanie Monnier, David G. Cox, Tim Albion...
CHI
2004
ACM
14 years 7 months ago
A social proxy for distributed tasks: design and evaluation of a working prototype
This paper describes an approach to managing tasks and processes that are distributed across a large number of people. The basic idea is to use a social visualization called a tas...
Thomas Erickson, Wei Huang, Catalina Danis, Wendy ...
ESCIENCE
2007
IEEE
14 years 1 months ago
Towards a Grid-Enabled Simulation Framework for Nano-CMOS Electronics
The electronics design industry is facing major challenges as transistors continue to decrease in size. The next generation of devices will be so small that the position of indivi...
Liangxiu Han, Asen Asenov, Dave Berry, Campbell Mi...