Sciweavers

3119 search results - page 244 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
BEHAVIOURIT
2005
54views more  BEHAVIOURIT 2005»
15 years 4 months ago
Understanding and modelling built environments for mobile guide interface design
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...
Jeni Paay, Jesper Kjeldskov
ENTCS
2002
134views more  ENTCS 2002»
15 years 4 months ago
Implementing Compositional Analysis Using Intersection Types With Expansion Variables
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
Assaf J. Kfoury, Geoffrey Washburn, Joe Wells
SPIRE
2010
Springer
15 years 2 months ago
Fingerprinting Ratings for Collaborative Filtering - Theoretical and Empirical Analysis
Abstract. We consider fingerprinting methods for collaborative filtering (CF) systems. In general, CF systems show their real strength when supplied with enormous data sets. Earl...
Yoram Bachrach, Ralf Herbrich
TCAD
2010
118views more  TCAD 2010»
14 years 11 months ago
Design Tools for Digital Microfluidic Biochips: Toward Functional Diversification and More Than Moore
Abstract--Microfluidics-based biochips enable the precise control of nanoliter volumes of biochemical samples and reagents. They combine electronics with biology, and they integrat...
Krishnendu Chakrabarty, Richard B. Fair, Jun Zeng
SIGSOFT
1998
ACM
15 years 8 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan