119 search results - page 15 / 24 » Reasoning about Lists via List Interleaving |
109
click to vote
POPL
1993
ACM
15 years 2 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
EDOC
2009
IEEE
15 years 1 months ago
2009
IEEE
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
IADIS
2003
14 years 11 months ago
2003
This paper proposes an investigation of sociotechnical factors affecting the adoption of information technology (IT) by General Practitioners (GPs), for the purposes of the develo...
DSS
2008
14 years 10 months ago
2008
Most recommender systems present recommended products in lists to the user. By doing so, much information is lost about the mutual similarity between recommended products. We prop...
IJMMS
2007
14 years 10 months ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...