1746 search results - page 125 / 350 » On the expressiveness of interaction |
104
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...
114
click to vote
ISWC
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes our first experiments in developing kinetic electronic garments, within the context of fashion and personal expression. We have integrated the shape memory al...
128
click to vote
DSVIS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency con...
103
click to vote
CSCWD
2006
Springer
15 years 5 months ago
2006
Springer
People are usually concerned with the privacy of their personal information. However, the problem of privacy is also present when the information is directly linked to people, for...
140
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...