1419 search results - page 156 / 284 » Notes on Formalizing Context |
122
click to vote
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Storing state in the client tier (in forms or cookies, for example) improves the efficiency of a web application, but it also renders the secrecy and integrity of stored data vul...
106
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
113
click to vote
GI
2005
Springer
15 years 6 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...
115
Voted
SAFECOMP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
114
click to vote
FOIS
2006
15 years 2 months ago
2006
Natural languages are easy to learn by infants, they can express any thought that any adult might ever conceive, and they accommodate the limitations of human breathing rates and s...