3130 search results - page 86 / 626 » Design Correctness of Digital Systems |
129
click to vote
GIR
2007
ACM
15 years 7 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
151
Voted
ZUM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
186
Voted
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Schema mappings are logical assertions that specify the relationships between a source and a target schema in a declarative way. The specification of such mappings is a fundamenta...
149
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
159
Voted
TIDSE
2004
Springer
15 years 8 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...