7421 search results - page 70 / 1485 » In search of dependable design |
155
click to vote
ADBIS
2007
Springer
16 years 15 days ago
2007
Springer
Functional dependencies (FDs) are an integral part of database theory since they are used in integrity enforcement and in database design. Recently, functional dependencies satisï¬...
133
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
178
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
134
click to vote
WSC
2004
15 years 7 months ago
2004
An important step in designing stochastic simulation is modeling the uncertainty in the input environment of the system being studied. Obtaining a reasonable representation of thi...
281
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...