7121 search results - page 1131 / 1425 » Functions as Session-Typed Processes |
174
click to vote
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
When a query is evaluated under bag semantics, each answer is returned as many times as it has derivations. Bag semantics has long been recognized as important, especially when ag...
132
click to vote
APGV
2008
ACM
15 years 7 months ago
2008
ACM
The glare illusion is commonly used in CG rendering, especially in game engines, to achieve a higher brightness than that of the maximum luminance of a display. In this work, we m...
141
click to vote
APGV
2008
ACM
15 years 7 months ago
2008
ACM
The use of illumination and view dependent textural information is one way to capture the realistic appearance of genuine materials. One example of such data is the bidirectional ...
130
click to vote
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
129
click to vote
APWEB
2008
Springer
15 years 7 months ago
2008
Springer
Wireless sensor network (WSN) containing thousands of tiny and low-power nodes can be used to monitor environment. An energy-efficient and reliable wireless communication architect...