1173 search results - page 190 / 235 » On the Compositionality of Round Abstraction |
CHI
2010
ACM
14 years 4 months ago
2010
ACM
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. This paper considers the probabilistic may/must testing theory for processes having external, internal, and probabilistic choices. We observe that the underlying testing ...
3DIC
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract—In 3DICs heat dissipating devices are stacked directly on top of each other leading to a higher heat density than in a comparable 2D chip. 3D integration also moves the ...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
In todays increasingly dynamic and competitive business environment, organizations strive to leverage their information resources to gain and sustain competitive advantage. Deci...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
The Internet no longer meets the world’s requirements. Recognition of the Internet architecture’s inherent flaws has opened a window of opportunity for fresh thinking: granti...