3801 search results - page 32 / 761 » An Approach to Modeling Software Safety |
209
click to vote
POPL
2005
ACM
16 years 2 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
ISPW
2008
IEEE
15 years 8 months ago
2008
IEEE
110
Voted
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
—A growing number of current web sites combine active content (applications) from untrusted sources, as in so-called mashups. The object-capability model provides an appealing ap...
122
click to vote
MOBIHOC
2008
ACM
16 years 1 months ago
2008
ACM
Because of cost and resource constraints, sensor nodes do not have a complicated hardware architecture or operating system to protect program safety. Hence, the notorious buffer-o...
111
Voted
ASE
2008
15 years 2 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...