標題: Titlebook: SOFSEM ‘95: Theory and Practice of Informatics; 22nd Seminar on Curr Miroslav Bartosek,Jan Staudek,Jirí Wiedermann Conference proceedings 1 [打印本頁] 作者: 太平間 時間: 2025-3-21 18:16
書目名稱SOFSEM ‘95: Theory and Practice of Informatics影響因子(影響力)
書目名稱SOFSEM ‘95: Theory and Practice of Informatics影響因子(影響力)學科排名
書目名稱SOFSEM ‘95: Theory and Practice of Informatics網絡公開度
書目名稱SOFSEM ‘95: Theory and Practice of Informatics網絡公開度學科排名
書目名稱SOFSEM ‘95: Theory and Practice of Informatics被引頻次
書目名稱SOFSEM ‘95: Theory and Practice of Informatics被引頻次學科排名
書目名稱SOFSEM ‘95: Theory and Practice of Informatics年度引用
書目名稱SOFSEM ‘95: Theory and Practice of Informatics年度引用學科排名
書目名稱SOFSEM ‘95: Theory and Practice of Informatics讀者反饋
書目名稱SOFSEM ‘95: Theory and Practice of Informatics讀者反饋學科排名
作者: 約會 時間: 2025-3-21 22:48
Introducing SSADM4+ and PRINCE,This paper describes some of the major changes in information systems (IS) requirements in the 90s and compares them with recent and planned changes to SSADM and PRINCE (for IS development and IS project management respectively). Background is provided describing CCTA‘s role in UK government and its rationale in developing public domain methods.作者: 教育學 時間: 2025-3-22 04:19 作者: 做方舟 時間: 2025-3-22 07:25
Welcoming the super Turing theories, possible such a model, constituting a chaotic dynamical system is presented. This model, which we term as the analog shift map, when viewed as a computational model has super-Turing power and is equivalent to neural networks and the class of analog machines. This map may be appropriate to describe natural physical phenomena.作者: Champion 時間: 2025-3-22 10:19
Extending database technology,ng facilities supported by database systems. This paper looks into the motivation for such activity, characterises and summarises representative proposals for extensions, and presents a concrete example of a database system incorporating a range of advanced features.作者: Thymus 時間: 2025-3-22 16:52 作者: LANCE 時間: 2025-3-22 17:28 作者: 純樸 時間: 2025-3-22 22:47
SOFSEM ‘95: Theory and Practice of Informatics978-3-540-48463-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 防止 時間: 2025-3-23 03:13
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/860209.jpg作者: Largess 時間: 2025-3-23 09:30
https://doi.org/10.1007/3-540-60609-2Datenbanken; Hardware; Performance; Processing; Software Engineering; Text; Wissenschaftliches Rechnen; alg作者: discord 時間: 2025-3-23 09:49 作者: Inculcate 時間: 2025-3-23 15:15 作者: DEBT 時間: 2025-3-23 18:07
Formal methods in practice: A comparison of two support systems for proof,milar development in VDM. The role of fully formal proof is considered and, in particular, the construction of application specific theories for balancing automation and interaction in the verification of designs is explored.作者: 相反放置 時間: 2025-3-24 01:28 作者: Epidural-Space 時間: 2025-3-24 05:12 作者: Intersect 時間: 2025-3-24 07:21
Welcoming the super Turing theories, possible such a model, constituting a chaotic dynamical system is presented. This model, which we term as the analog shift map, when viewed as a computational model has super-Turing power and is equivalent to neural networks and the class of analog machines. This map may be appropriate to describe 作者: Aggressive 時間: 2025-3-24 11:27 作者: HERE 時間: 2025-3-24 16:11 作者: ATP861 時間: 2025-3-24 19:58
Distributed Information Systems,ses, multimedia, object orientation, artificial intelligence and telecommunications. This paper explains the contribution of these technologies to the vision of the future and how they can be integrated. Key technical challenges and open research issues will be discussed. A detailed case study from 作者: 執(zhí) 時間: 2025-3-25 00:48 作者: Glucocorticoids 時間: 2025-3-25 06:18 作者: 榨取 時間: 2025-3-25 09:03 作者: BATE 時間: 2025-3-25 13:12
Why use evolving algebras for hardware and software engineering?,the salient features of this new method and illustrate them through several examples from my work on specification and verification of programming languages, compilers, protocols and architectures. The definition of a mathematical model for Hennessy and Patterson‘s RISC architecture DLX serves as a 作者: 低位的人或事 時間: 2025-3-25 19:49
Experience with chorus,ur work..Then it focuses on Chorus micro-kernel capabilities and explains how these capabilities have been used to make an experiment allowing the cohabitation between the Chorus micro-kernel and the Macintosh Operating system..Then, it describes how a new subsystem can be built over the micro-kerne作者: 使無效 時間: 2025-3-25 23:02 作者: 稱贊 時間: 2025-3-26 02:31 作者: Vaginismus 時間: 2025-3-26 08:12
,WWW — The World Wide Web,tive work and teaching..Because it is so easy to set up a server, there are almost as many web philosophies, uses and page designs as there are web pages. Of course some of these are better than others and within CISD we believe that our corporate-wide style and practices are particularly effective.作者: Congeal 時間: 2025-3-26 09:01
Implementation of higher-order unification based on calculus of explicit substitution,n difference between our algorithm and the already known version is, that we try to postpone normalisation of .-terms as long as possible, i.e. until some information of these .-terms is necessary for the next step of the unification algorithm.作者: GUILE 時間: 2025-3-26 12:37 作者: 適宜 時間: 2025-3-26 20:22 作者: giggle 時間: 2025-3-26 22:18 作者: Fierce 時間: 2025-3-27 02:57 作者: 不要嚴酷 時間: 2025-3-27 05:24
0302-9743 held in Milovy, Czech Republic, in November 1995. The SOFSEM seminars are held annually and aim at fostering cooperation among and high-level continuing education of computer scientists active in different areas..The book presents 17 invited full papers by renowned researchers as well as 22 revised作者: CANON 時間: 2025-3-27 10:38 作者: 失望昨天 時間: 2025-3-27 17:14
0302-9743 s, databases, software engineering, parallel and distributed systems and scientific computing, and multimedia and hypertext; the selected papers are devoted to special aspects of the same topics.978-3-540-60609-3978-3-540-48463-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 別名 時間: 2025-3-27 20:26
Development of safety-critical real-time systems,specified in TLT. The design as a whole is linked together semantically by using a DC semantics for TLT. Verification is a deduction showing that a design implies requirements. The TLT specification is the basis for developing the control program. The method is illustrated by a steam-boiler example.作者: 使無效 時間: 2025-3-27 22:13
Experience with chorus,he first project adds “Quality of Service” support for distributed multimedia applications; the second one allows “Fault Tolerant” aspects to be taken into account in distributed applications..Finally, we discuss some limitations of Chorus, especially in supporting large networks, and how the system should be extended to address this new feature.作者: Crohns-disease 時間: 2025-3-28 04:37
What NARX networks can compute,ates. There is much interest in the amount and type of recurrence to be used in recurrent neural networks. Our results pose the question of what amount of feedback or recurrence is necessary for any network to be Turing equivalent and what restrictions on feedback limit computational power.作者: Atmosphere 時間: 2025-3-28 08:36 作者: 裂隙 時間: 2025-3-28 12:57
Quo vadis GIS: From GIS to GIMS and Open GIS,uter technologies on future GIS and the use of GIS in future environments. Some important problems for future research are suggested. Fundamental features of future GIS are discussed and the concept of object-oriented data model and Geographic Information Management Systems are introduced. Exciting world of Open user-oriented GIS is proposed.作者: 走路左晃右晃 時間: 2025-3-28 16:43
,WWW — The World Wide Web,.This talk will give a brief history of WWW, and then go on to describe the philosophy and technical theory of the design and structure of the CISD web, and explain how it fits into the CCLRC corporate web and philosophy. It will also touch on more advanced uses of the web.作者: 合唱隊 時間: 2025-3-28 20:19 作者: ciliary-body 時間: 2025-3-29 01:20 作者: 束以馬具 時間: 2025-3-29 06:48 作者: 錢財 時間: 2025-3-29 08:50
r developing countries and offers ways in which low-income families can obtain better access to housing finance. This book provides a conceptual framework for housing finance development and addresses practical solutions in the provision of housing finance and compares different approaches. .作者: 慌張 時間: 2025-3-29 12:02 作者: 音樂戲劇 時間: 2025-3-29 17:15
Hava T. Siegelmannpluses gained from rents, and pay large salaries and bonuses to their respective executives, would be hard-pressed to justify inclusion in the category of social housing (. Priemus, 1997, p. 555: ‘This may be considered to be the crucial test: rented housing is defined as social rented housing when 作者: 忘川河 時間: 2025-3-29 22:20
Bill G. Horne,Hava T. Siegelmann,C. Lee Gilespluses gained from rents, and pay large salaries and bonuses to their respective executives, would be hard-pressed to justify inclusion in the category of social housing (. Priemus, 1997, p. 555: ‘This may be considered to be the crucial test: rented housing is defined as social rented housing when 作者: insular 時間: 2025-3-30 02:00 作者: 陰謀小團體 時間: 2025-3-30 08:04 作者: 原諒 時間: 2025-3-30 08:52 作者: semiskilled 時間: 2025-3-30 16:03
Hans Rischel,Jorge Cuellar,Simon M?rk,Anders P. Ravn,Isolde Wildgruberint to a transmis-sion of housing wealth to private consumption through the refinancing of mortgages and home equity loans — more generally housing equity withdrawal. Financial innovations have contributed to excessive lend-ing and housing booms, which are at the root of the current financial turmoi作者: 導師 時間: 2025-3-30 18:52
Barbara Chapman,Piyush Mehrotra,Hans Zima survey, two to three months after this change, Realtors. reported little response to this additional information from either buyers or sellers. The respondents to the survey indicated that some homebuyers are avoiding low-lying property susceptible to flooding, but most real estate agents stated th作者: CLEAR 時間: 2025-3-30 22:34 作者: 舞蹈編排 時間: 2025-3-31 04:29
Ale? Limpouch,Karel Charvátrance is one of the most effective measures for mitigating earthquake losses. Nonetheless, despite increased disaster awareness and preparedness following the March 11, 2011 earthquake, the proportion of Japanese households covered by earthquake insurance is still low. We aim to reveal the reasons d作者: hazard 時間: 2025-3-31 08:45 作者: AMPLE 時間: 2025-3-31 13:08
Peter Borovanskyon bias for earthquake risk is reduced by the dissemination of objective risk indicators based on disaster prevention information. As a result, the rise in the number of households who have accessed disaster prevention information since the earthquake could be linked to disaster prevention and mitig作者: accrete 時間: 2025-3-31 17:05 作者: Dendritic-Cells 時間: 2025-3-31 21:18
Parallel machine models: How they are and where are they going, result, computer science is looking for the “right” model of a parallel computer — namely for such a model that would present a reasonable design framework for algorithmic problem solving, would be elegant enough from a mathematical viewpoint and, last but not least, would allow for an efficient ha作者: armistice 時間: 2025-4-1 00:17
