5961 search results - page 245 / 1193 » Design Science and Software Engineering |
109
click to vote
SEFM
2005
IEEE
15 years 8 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
89
Voted
IHM
2009
ACM
15 years 9 months ago
2009
ACM
This paper introduces a “design mixer” approach to usercentred interactive software design. This method overcomes the limits of a design process that favours the handling/mana...
143
Voted
PAKM
2000
15 years 4 months ago
2000
This paper presents a knowledge-sharing framework for achieving effective knowledge reuse within industrial organisations. This knowledge re-use paradigm goes beyond traditional e...
132
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
101
Voted
PVM
2007
Springer
15 years 8 months ago
2007
Springer
We propose a parallel MPI search engine that is capable of automatically switching between asynchronous message passing and bulk-synchronous message passing modes of operation. Whe...