7124 search results - page 1211 / 1425 » Programming Languages and Operating Systems |
136
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
128
click to vote
CACM
2008
15 years 3 months ago
2008
Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and...
144
Voted
ECOOP
2012
Springer
13 years 5 months ago
2012
Springer
As a culture, object-orientation encourages programmers to create objects, both short- and long-lived, without concern for cost. Excessive object creation and initialization can ca...
171
click to vote
IWAN
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents the main concepts of the IST Project FAIN "Future Active IP Networks" [10], a three-year collaborative research project, whose main task is to develo...
128
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...