913 search results - page 115 / 183 » Toward Formalizing Structured Analysis |
108
Voted
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
139
Voted
RE
2010
Springer
14 years 9 months ago
2010
Springer
An approach is suggested for arguing that a system is dependable. The key idea is to structure the system so that critical requirements are localized in small, reliable subsets of ...
113
click to vote
VLSID
1994
IEEE
15 years 6 months ago
1994
IEEE
In this paper, we present a formal analysis of the constraints of the scheduling problem, and evaluate the structure of the scheduling polytope described by those constraints. Pol...
NIPS
2004
15 years 3 months ago
2004
We examine the marriage of recent probabilistic generative models for social networks with classical frameworks from mathematical economics. We are particularly interested in how ...
145
click to vote
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...