1676 search results - page 73 / 336 » Formal System Development with KIV |
173
click to vote
TOSEM
2008
15 years 4 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
187
click to vote
POST
2012
13 years 12 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
132
click to vote
DLOG
2003
15 years 5 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
129
Voted
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Although there have been several attempts to create grid systems, there is no clear definition for grids. In this paper, a formal approach is presented for defining elementary func...
159
click to vote
SWS
2004
ACM
15 years 9 months ago
2004
ACM
The Platform for Privacy Preferences (P3P), developed by the W3C, provides an XML-based language for websites to encode their datacollection and data-use practices in a machine-re...