1522 search results - page 28 / 305 » Practical Exception Specifications |
ECIS
2003
15 years 2 months ago
2003
The paper describes and analyzes the way in which a particular case company stimulated the development of communities of practice as a vehicle for encouraging product and process ...
122
Voted
USS
2010
14 years 11 months ago
2010
Web publishers frequently integrate third-party advertisements into web pages that also contain sensitive publisher data and end-user personal data. This practice exposes sensitiv...
IWFM
1998
15 years 2 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Reuse of application software has been limited and sometimes has led to accidents. This paper suggests some requirements for successful and safe application software reuse and dem...
191
click to vote
CADE
2002
Springer
16 years 1 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...