咨询与建议

限定检索结果

文献类型

  • 416 篇 会议
  • 38 篇 期刊文献
  • 18 册 图书

馆藏范围

  • 472 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 328 篇 工学
    • 313 篇 计算机科学与技术...
    • 198 篇 软件工程
    • 30 篇 电气工程
    • 24 篇 控制科学与工程
    • 17 篇 信息与通信工程
    • 9 篇 机械工程
    • 7 篇 电子科学与技术(可...
    • 5 篇 安全科学与工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 生物工程
    • 2 篇 材料科学与工程(可...
    • 2 篇 动力工程及工程热...
    • 2 篇 建筑学
    • 2 篇 测绘科学与技术
  • 77 篇 理学
    • 57 篇 数学
    • 13 篇 系统科学
    • 10 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 4 篇 物理学
    • 1 篇 地质学
  • 29 篇 管理学
    • 21 篇 管理科学与工程(可...
    • 11 篇 工商管理
    • 8 篇 图书情报与档案管...
  • 5 篇 医学
    • 4 篇 基础医学(可授医学...
    • 2 篇 临床医学
  • 4 篇 教育学
    • 4 篇 教育学
  • 3 篇 法学
    • 3 篇 社会学
  • 2 篇 文学
    • 1 篇 外国语言文学
    • 1 篇 新闻传播学
  • 1 篇 哲学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 农学

主题

  • 104 篇 logic programmin...
  • 22 篇 fuzzy logic
  • 16 篇 artificial intel...
  • 15 篇 semantics
  • 12 篇 object oriented ...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 software enginee...
  • 11 篇 logic gates
  • 11 篇 linear programmi...
  • 9 篇 computer circuit...
  • 9 篇 programming tech...
  • 9 篇 hardware
  • 9 篇 dynamic programm...
  • 8 篇 programming lang...
  • 8 篇 logics and meani...
  • 8 篇 logic design
  • 7 篇 logic
  • 7 篇 probabilistic lo...
  • 6 篇 access control

机构

  • 4 篇 vienna univ tech...
  • 3 篇 suny stony brook...
  • 2 篇 school of automo...
  • 2 篇 univ nova lisboa...
  • 2 篇 univ calif river...
  • 2 篇 univ bologna dei...
  • 2 篇 school of comput...
  • 2 篇 department of co...
  • 2 篇 information and ...
  • 2 篇 univ cagliari di...
  • 2 篇 ibm tokyo resear...
  • 2 篇 labmag lisbon
  • 2 篇 wroclaw univ tec...
  • 2 篇 calif state poly...
  • 2 篇 univ kentucky de...
  • 2 篇 shenzhen tourism...
  • 2 篇 univ texas dept ...
  • 1 篇 new mexico state...
  • 1 篇 dept. computersc...
  • 1 篇 k.u. leuven depa...

作者

  • 4 篇 pereira lm
  • 3 篇 truszczynski m
  • 3 篇 swift t
  • 3 篇 lifschitz v
  • 3 篇 alferes jj
  • 3 篇 vojtás p
  • 3 篇 marriott kim
  • 2 篇 deschreye d
  • 2 篇 schuerman kees
  • 2 篇 pinna g. michele
  • 2 篇 medina j
  • 2 篇 montali marco
  • 2 篇 bruynooghe mauri...
  • 2 篇 przymusinski tc
  • 2 篇 li liang-liang
  • 2 篇 véron andré
  • 2 篇 bartoletti massi...
  • 2 篇 cui bq
  • 2 篇 sideri m
  • 2 篇 cimoli tiziana

语言

  • 466 篇 英文
  • 4 篇 其他
  • 1 篇 法文
  • 1 篇 俄文
检索条件"任意字段=5th Conference on Logic Programming, 1986"
472 条 记 录,以下是181-190 订阅
排序:
An open source IEC 61131-3 integrated development environment
An open source IEC 61131-3 integrated development environmen...
收藏 引用
5th IEEE International conference on Industrial Informatics
作者: Tisserant, Edouard Bessard, Laurent de Sousa, Mario TBI SARL Lolitech F-88100 St Die France Univ Porto Dept Elect Engn Oporto Portugal
the IEC 61131-3 standard defines a common framework for programming PLCs (Programmable logic Controllers), which includes the complete definition of four programming languages and a state machine definition language. ... 详细信息
来源: 评论
History-based aspect weaving for WS-BPEL using Padus
History-based aspect weaving for WS-BPEL using Padus
收藏 引用
5th IEEE European conference on Web Services
作者: Braem, Mathieu Gheysels, Dimitri Vrije Univ Brussel Syst Software Engn Lab Pleinlaan 2 B-1050 Brussels Belgium
Workflow languages provide a natural way to express business processes, and therefore they are preferred over general-purpose programming languages to specify such processes. However, current workflow languages offer ... 详细信息
来源: 评论
Inducing declarative logic-based models from labeled traces
收藏 引用
5th International conference on Business Process Management
作者: Lamma, Evelina Mello, Paola Montali, Marco Riguzzi, Fabrizio Storari, Sergio Univ Ferrara ENDIF Saragat1 I-44100 Ferrara Italy Univ Bologna DEIS I-40136 Bologna Italy
In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. the approach is based on a modified Inductive logic programming algorithm, capable... 详细信息
来源: 评论
Mixed Integer programming, General Concept Inclusions and Fuzzy Description logics
Mixed Integer Programming, General Concept Inclusions and Fu...
收藏 引用
5th conference of the European-Society-for-Fuzzy-logic-and-Technology
作者: Straccia, Umberto Bobillo, Fernando CNR ISTI I-56100 Pisa Italy Univ Granada Dept Comp Sci & AI E-18071 Granada Spain
Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with ... 详细信息
来源: 评论
A implementation of object oriented database security
A implementation of object oriented database security
收藏 引用
5th ACIS International conference on Software Engineering Reseach, Management and Applications held in Conjuction with 1st International Workshop on Advanced Internet Technology and Applications
作者: Ambhore, Premchand B. Meshram, B. B. Waghmare, V. B. Dr PD Polytech Comp Engn Amravati MS India
this paper is to address high-level authorization specifications and its efficient implementation in object oriented database scenario. Premchand Ambhore is with higher and technical education, maharashtra state, indi... 详细信息
来源: 评论
A Prolog-oriented extension of Java programming based on generics and annotations  07
A Prolog-oriented extension of Java programming based on gen...
收藏 引用
2007 5th International conference on the Principles and Practice of programming in Java, PPPJ 2007
作者: Cimadamore, Maurizio Viroli, Mirko DEIS Cesena Alma Mater Studiorum Università di Bologna via Venezia 52 47023 Cesena Italy
Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based ... 详细信息
来源: 评论
Verification of object relational maps
Verification of object relational maps
收藏 引用
5th IEEE International conference on Software Engineering and Formal Methods, SEFM 2007
作者: Mehra, Krishna K. Rajamani, Sriram K. Sistla, A. Prasad Jha, Sumit K. Microsoft Research India University of Illinois Chicago United States Carnegie Melon University
Enterprise software systems need to deal with two dominant data models. While object oriented languages (such as Java, C#, C++) are the dominant ways to write business logic, relational databases are the dominant ways... 详细信息
来源: 评论
FSMC+, a tool for the generation of Java code from statecharts  07
FSMC+, a tool for the generation of Java code from statechar...
收藏 引用
2007 5th International conference on the Principles and Practice of programming in Java, PPPJ 2007
作者: Tiella, Roberto Villafiorita, Adolfo Tomasi, Silvia IRST via Sommarive 18 Trento Italy
ProVotE is a two-phase project aiming at actuating art. 84 of law 2 - 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections in Tre... 详细信息
来源: 评论
Bridging Java and AspectJ through explicit join points  07
Bridging Java and AspectJ through explicit join points
收藏 引用
2007 5th International conference on the Principles and Practice of programming in Java, PPPJ 2007
作者: Hoffman, Kevin Eugster, Patrick Purdue University 305 N. University Street West Lafayette IN 47907
through AspectJ, aspect-oriented programming (AOP) is becoming of increasing interest and availability to Java programmers as it matures as a methodology for improved software modularity via the separation of cross-cu... 详细信息
来源: 评论
An Open Source IEC 61131-3 Integrated Development Environment
An Open Source IEC 61131-3 Integrated Development Environmen...
收藏 引用
IEEE International conference on Industrial Informatics (INDIN)
作者: Edouard Tisserant Laurent Bessard Mario de Sousa TBI SARL France Electrical Engineering Department University of Porto Porto Portugal
the IEC 61131-3 standard defines a common framework for programming PLCs (programmable logic controllers), which includes the complete definition of four programming languages and a state machine definition language. ... 详细信息
来源: 评论