Sciweavers

4326 search results - page 684 / 866
» A Model for Process Service Interaction
Sort
View
CHI
2005
ACM
16 years 4 months ago
A method to standardize usability metrics into a single score
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...
Jeff Sauro, Erika Kindlund
120
Voted
ISSTA
2009
ACM
15 years 10 months ago
Analyzing singularity channel contracts
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
Zachary Stengel, Tevfik Bultan
137
Voted
ICWE
2005
Springer
15 years 9 months ago
The Role of Visual Tools in a Web Application Design and Verification Framework: A Visual Notation for LTL Formulae
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
Marco Brambilla, Alin Deutsch, Liying Sui, Victor ...
NIPS
2003
15 years 4 months ago
The Diffusion-Limited Biochemical Signal-Relay Channel
Biochemical signal-transduction networks are the biological information-processing systems by which individual cells, from neurons to amoebae, perceive and respond to their chemic...
Peter J. Thomas, Donald J. Spencer, Sierra K. Hamp...
116
Voted
DSS
2007
120views more  DSS 2007»
15 years 3 months ago
Could the use of a knowledge-based system lead to implicit learning?
The primary objective of a knowledge-based system (KBS) is to use stored knowledge to provide support for decision-making activities. Empirical studies identify improvements in de...
Solomon R. Antony, Radhika Santhanam