5961 search results - page 939 / 1193 » Design Science and Software Engineering |
163
click to vote
LCPC
1995
Springer
15 years 7 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
141
click to vote
AUTONOMICS
2008
ACM
15 years 5 months ago
2008
ACM
In a container transport system, wireless sensor networks (WSNs) can be used for monitoring products while they are being transported. To be commercially interesting, these WSNs m...
139
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
165
click to vote
WIKIS
2010
ACM
15 years 4 months ago
2010
ACM
We describe ThinkFree, an industrial Visual Wiki application which provides a way for end users to better explore knowledge of IT Enterprise Architecture assets that is held withi...
149
click to vote
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Mashups on traditional desktop devices are a well-known source of security risks. In this paper, we examine how these risks translate to mobile mashups and identify new risks caus...