3811 search results - page 605 / 763 » The Safe-Tcl Security Model |
199
Voted
SIGSOFT
2004
ACM
16 years 7 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
202
Voted
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Real-time detection is an important requirement of many mission-critical wireless sensor network applications such as battlefield monitoring and security surveillance. Due to t...
174
Voted
FM
2005
Springer
16 years 17 days ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
207
Voted
MOBICOM
2004
ACM
16 years 14 days ago
2004
ACM
Interactive communications among nodes in Vehicular Ad Hoc Networks (VANET) and the safety-oriented nature of many VANET applications necessitate a robust security framework. An a...
255
Voted
PLDI
2003
ACM
16 years 9 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...