6527 search results - page 362 / 1306 » On Typing Information Flow |
178
Voted
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
180
click to vote
ICEIS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the development of Information System (IS) at Masaryk University in Brno. It supports full range of administrative and information functions in the study area,...
174
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper present...
181
click to vote
WSNA
2003
ACM
16 years 2 days ago
2003
ACM
Sensor networks are deployed to monitor the surroundings and keep the end-user informed about the events witnessed. Different types of events have different levels of importance f...
158
click to vote
INTR
2007
15 years 6 months ago
2007
Purpose – This paper sets out to present the concept of the value of information, review the descriptive, rational, social and behavioral approaches for assessing the value of i...