3256 search results - page 430 / 652 » Applications of Formal Methods to System Design and Verifica... |
145
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
A number of researchers have become interested in the design of global-scale networked systems and applications. Our thesis here is that the database community's principles a...
160
click to vote
CERA
2002
15 years 5 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
176
click to vote
JCIT
2007
15 years 5 months ago
2007
In this paper, we outline a framework for the development of natural language interfaces to agent systems with a focus on action representation. The architecture comprises a natur...
137
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
We propose that an interactional perspective on how emotion is constructed, shared and experienced, may be a good basis for designing affective interactional systems that do not i...
183
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...