Диссертация (1136162), страница 50
Текст из файла (страница 50)
In: Proceedings of the Joint DELOSNSFWorkshop on Personalisation and Recommender Systems in Digital Libraries, Ireland,June 2001155. Brodie M.L. Illuminating the dark sides of Web services. In: Proceedings of the29th International Conference on Very Large Databases, p.p.1046–1049, Berlin,Germany, Morgan Kaufmann Publishers, 2003156. Brodie M.L. Interoperable information systems: Motivations, challenges,approaches, and status. Second International Conference on Cooperative InformationSystems, CoopIS-94, Tutorial Notes.
Toronto, Ontario, Canada, 1994157. Burns B. Moving Document Control Systems to the Corporate Intranet: OneCompany's strategy. SIGDOC 1997: 11-16158. Bush V. As We May Think // The Atlantic Monthly. July, 1945159. Buss S., Kechris A., Pillay A., Shore R. The prospects for mathematical logic inthe twenty-first century. In Proceedings of the Association for Symbolic Logic, UrbanaChampaign, 2000160. Calvanese D., Giacomo G., Lenzerini M.
et al. Source Integration in DataWarehousing. DEXA Workshop 1998, p.p.192-197161. Ceri S., Fraternali P., Bongio A., Brambilla M., Comai S., Matera M. DesigningData-Intensive Web Applications. Morgan Kaufmann Publishers, Elsevier Science(USA), 2003162. Ceri S., Pelagatti G. Distributed Databases: Principles and Systems. McGraw-HillBook Company 1984, ISBN 0-07-010829-3163. Chen C., Paul R.
Visualizing a Knowledge Domain's Intellectual Structure //Computer. -2001.-V.34,No.3, p.p.65-71164. Chen P.P. The Entity-Relationship Model - A basis for the Enterprise View of Data.American Federation of Information Processing Societies (AFIPS) National ComputerConference, Dallas, Texas, 1977, AFIPS Press, Vol. 46, p.p.77-84165.
Church A. The calculi of lambda-conversion.- Princeton, 1941, ed. 2, 1951166. Codd E.F. Relational Completeness of Data Base Sublanguages Data Base SystemsIn: Rustin R. Eds., Courant Computer Sci. Symposia Series No.6. - Prentice Hall, 1972167. Cook W., Palsberg J. A denotational semantics of inheritance and its correctness.In: OOPSLA 1989 as SIGPLAN, vol.24, No.10, Oct. 1989, p.p.433444168. Cousineau G., Curien P.-L., Mauny M. The categorical abstract machine.
Scienceof Computer Programming 8(2), p.p.173-202, 1987331169. Cruz-Cunha M.M., Varajao J.: Enterprise Information Systems Design,Implementation and Management: Organizational Aspects. Business Science Reference,2010, 623p.170. Curry H.B., Feys R. Combinatory logic, vol.I, North Holland, Amsterdam, 1958171. Davis H.C., Knight S., Hall W. Light Hypermedia Link Services: A Study of ThirdParty Application Integration. ECHT 1994, p.p.41-50172. Dharsee M., Hogue C.W.V. MoBiDiCK: A Tool for Distributed Computing on theInternet. Heterogeneous Computing Workshop 2000: 323-335173.
Du W., Shan M.-C. Enterprise Workflow Resource Management. RIDE 1999: 108115174. Duane A., Finnegan P. Managing Intranet technology in an organizational context:toward a "stages of growth" model for balancing empowerment and control. ICIS 2000:242-258175. Ehrich H.-D., Gogola M., Sernadas A. A categorical theory of objects as observedprocesses. In: Proceedings of the REX/FOOL School/Workshop, Lecture Notes inComputer Science, Vol. 489, p.p.203-228. Springer Verlag, 1991176.
Ehrich H.-D., Gogola M., Sernadas A. Objects and their specification. In: RecentTrends in Data Type Specification. 8th Workshop on Specification of Abstract Data,Lecture Notes in Computer Science, Vol.655, p.p.40-65. Springer Verlag, 1993177. Endrikat A., Michalski R.
Application-oriented Integration of Distributed178. Heterogenoeous Knowledge Sources. DEXA 1991, p.p.327-332179. Ershov A.P. Automatic Programming in the Soviet Union // Datamation, 1959,Vol.5, No.4, p.14-20180. Farias O.L.M. de, Farias L.M.C.P.M. de. Distributed information system on anInternet/intranet environment (DISI2E). ACM-GIS 2000: 197-198181. Fayyad U. M., Piatetsky-Shapiro G., Smyth P., Uthurusamy R.
Advances in DataMining and Knowledge Discovery // MIT Press, Cambridge, MA., 1995 181. FerraioloD.F., Barkley J.F., Kuhn D.R. A Role-Based Access Control Model and ReferenceImplementation within a Corporate Intranet. TISSEC 2(1): 34-64, 1999182.
Ficarra F.V. Evaluation of Interfaces and Portals for International E-commerce.ISAS-SCI (1) 2001: 274-279183. Florescu D., Levy A.Y., Mendelzon A.O. Database techniques for the World WideWeb: A survey. SIGMOD Record, 98(280(5360)), 1998184. Florescu D., Levy A.Y. Recent Progress in Data Integration - A Tutorial. ADBIS1998, p.p.1-2185. Floyd R.W.
A note on mathematical induction on phrase structure grammars.Information and Control 4(4): 353-358, 1961186. Fong J., Huang S.-M. Architecture of a Universal Database: A Frame ModelApproach. IJCIS 8(1), p.p.47-82 (1999)187. Foster I., Insley J., Laszewski G., Kesselman C., Thiebaux M. DistanceVisualization: Data Exploration on the Grid // Computer. - 1999.- V. 32, N 12. - pp. 3643188. Fourman M. The logic of topoi. In: Handbook of Mathematical Logic, J.Barwise etal., eds.
North-Holland, 1977332189. Fitzgerald G., Avison D. Information Systems Development: Methodologies,Techniques and Tools (4th ed.), McGraw-Hill Higher Education, 2006, 656p.190. Gabriel P. The object-based specification language: Concepts, syntax, andsemantics. In: Recent Trends in Data Type Specification. 8thWorkshop on Specificationof Abstract Data Types Selected Papers, vol.655, Lecture Notes in Computer Science,p.p.254-270, Springer Verlag, 1993191. Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns: Elements ofReusable Object-Oriented Software. - Hardback, 416 p., 1995192.
Gibson N., Holland C., Light B. Enterprise Resource Planning: A BusinessApproach to Systems Development. HICSS 1999193. Ginsburg M., Duliba K. Enterprise-Level Groupware Choices: Evaluating LotusNotes and Intranet-Based Solutions. Computer Supported Cooperative Work 6(2/3): 201225 1997194. Goguen J.
A categorical manifesto. Technical report PRG-72, ProgrammingResearch Group, Oxrofd University, 1989195. Gordon M.J.C. The denotational description of programming languages. SpringerVerlag, 1979196. Grant E., France R.B., Varadarajan R. et al. UML2Z: An UML-Based ObjectOriented Modeling Tool for an Internet Integrated Formalization Process.197. OOIS 2000: 280-289198.
Greene T. Internet and Intranet Computing. ICEIS 1999: ILT 7199. Greenwald R., Stackowiak R., Stern J.Oracle Essentials. Oracle9i, Oracle8i &Oracle8 (2nd ed.), 2001, 381 pp.200. Gunter C.A., Scott D.S. Semantic Domains. Handbook on theoretical computerscience, Vol.B: Formal models and semantics (B):633-674, 1990 200. Gurevich Yu.Logic in Computer Science. Current Trends in Theoretical Computer Science: TheChallenge of the New Century.
In: World Scientific, Vol 2, 2004, pp.95-312201. Gurevich Yu. et al. Using Abstract State Machines at Microsoft: A Case Study. In:Proceedings of ASM'2000 in Abstract State Machines: Theory and Applications. LectureNotes in Computer Science, Vol.1912, 2000202.
Hadjiefthymiades S., Papayiannis S., Martakos D., Metaxaki-Kossionides C.Linking the WWW and Relational Databases through Server APIs: a DistributedApproach. WebNet (1) 1999: 457-462203. Handelman S.W. Challenges in Managing Intranets. Integrated NetworkManagement 1997: 779-779204. Heflin J. Knowledge Representation on the Internet: Achieving Interoperability ina Dynamic, Distributed Environment. AAAI/IAAI 2000: 1074205. Hechler E., Godinez M., Koenig K., Lockwood S., Oberhofer M., Schroeck M.:The Art of Enterprise Information Architecture: A Systems-Based Approach forUnlocking Business Insight.
Pearson, 2010, 462p.206. Hindley J.R. The principal type-scheme of an object in combinatory logic. Trans.Amer. Math. Soc., 146:29-60, 1969207. Hindley J.R., Seldin J.P. Introduction to combinators and λ-calculus. LondonMathematical Society Student Texts, 1, Cambridge University Press, 1986333208. Hoare C.A.R. An axiomatic basis for computer programming. CACM 12(10):576580, 1969209. Hofstede A.H.M. ter, Lippe E., Frederiks P.J.M. Conceptual Data Modeling froma Categorical Perspective. The Computer Journal, 39(3), p.p.215-231, August 1996210.
Hofstede A.H.M. ter, Lippe E., Weide Th.P. van der. A Categorical Framework forConceptual Data Modeling: Definition, Application, and Implementation. TechnicalReport CSI-R9512, Computing Science Institute, University of Nijmegen, Nijmegen, TheNetherlands, November 1995211. Holland C., Light B. Global Enterprise Resource Planning Implementation. HICSS1999212. Huynh T.N., Mangisengi O., Tjoa A.M. Metadata for object-relational datawarehouse. In: Proceedings of the International Workshop on Design and Managementof Data Warehouses (DMDW’2000), Stockholm, Sweden, 2000213.