3555 search results - page 479 / 711 » Security-Critical System Development with Extended Use Cases |
156
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
of proposed research. A short bibliography is optional. Domain theory has been developed around 40 years since 1970s by D. Scott, and S. Abramsky revealed the "junction betwee...
245
click to vote
PEPM
2007
ACM
17 years 3 months ago
2007
ACM
programming languages community is vigorously pursuing ways to incorporate F!-style indexed types into programming languages. This paper advocates Concoqtion, a practical approach ...
175
click to vote
INFOCOM
2008
IEEE
16 years 10 hour ago
2008
IEEE
— In this paper, we concentrate on opportunistic scheduling for multicast information. We pose the problem as a multicast throughput optimization problem. As a solution we presen...
143
click to vote
ICICS
2005
Springer
15 years 11 months ago
2005
Springer
Modeling and analysis of information system vulnerabilities helps us to predict possible attacks to networks using the network configuration and vulnerabilities information. As a f...
187
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...