咨询与建议

限定检索结果

文献类型

  • 166 篇 会议
  • 15 册 图书
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 129 篇 工学
    • 119 篇 计算机科学与技术...
    • 85 篇 软件工程
    • 5 篇 电气工程
    • 5 篇 信息与通信工程
    • 5 篇 控制科学与工程
    • 4 篇 电子科学与技术(可...
    • 2 篇 农业工程
    • 2 篇 生物医学工程(可授...
    • 1 篇 机械工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 矿业工程
    • 1 篇 石油与天然气工程
    • 1 篇 生物工程
    • 1 篇 网络空间安全
  • 22 篇 理学
    • 16 篇 数学
    • 3 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
    • 1 篇 生物学
  • 15 篇 管理学
    • 8 篇 图书情报与档案管...
    • 5 篇 管理科学与工程(可...
    • 4 篇 工商管理
    • 1 篇 公共管理
  • 2 篇 农学
    • 2 篇 作物学
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 医学
    • 1 篇 护理学(可授医学、...

主题

  • 18 篇 computer languag...
  • 12 篇 database languag...
  • 12 篇 query languages
  • 10 篇 logic programmin...
  • 9 篇 database systems
  • 9 篇 software enginee...
  • 9 篇 artificial intel...
  • 9 篇 functional progr...
  • 8 篇 parallel program...
  • 8 篇 computer program...
  • 7 篇 xml
  • 7 篇 programming lang...
  • 6 篇 computer science
  • 6 篇 software enginee...
  • 6 篇 mathematical log...
  • 6 篇 costs
  • 6 篇 semantics
  • 6 篇 computer program...
  • 6 篇 relational datab...
  • 6 篇 logics and meani...

机构

  • 2 篇 univ valladolid ...
  • 2 篇 carleton univ sc...
  • 2 篇 imdea software
  • 2 篇 department of co...
  • 2 篇 tallinn universi...
  • 2 篇 univ aarhus dept...
  • 2 篇 univ calabria di...
  • 2 篇 vienna univ tech...
  • 1 篇 philipps univ ma...
  • 1 篇 xian technol uni...
  • 1 篇 ibm corp almaden...
  • 1 篇 mechanical engin...
  • 1 篇 university paris...
  • 1 篇 department of in...
  • 1 篇 epfl
  • 1 篇 univ nottingham ...
  • 1 篇 dept. of informa...
  • 1 篇 university of te...
  • 1 篇 department of co...
  • 1 篇 the pennsylvania...

作者

  • 3 篇 schwartzbach mic...
  • 2 篇 bertossi leopold...
  • 2 篇 chakravarty manu...
  • 2 篇 zhao yidan
  • 2 篇 krennwallner tho...
  • 2 篇 moreton-fernande...
  • 2 篇 van gucht dirk
  • 2 篇 gonzalez-escriba...
  • 2 篇 cozman fabio g.
  • 2 篇 carro manuel
  • 2 篇 eiter thomas
  • 2 篇 moller anders
  • 2 篇 ianni giovambatt...
  • 2 篇 steffen bernhard
  • 2 篇 xiao qinkun
  • 2 篇 li kin fun
  • 2 篇 schindlauer roma...
  • 2 篇 brabrand claus
  • 2 篇 hanus michael
  • 2 篇 keller gabriele

语言

  • 183 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=10th International Symposium on Database Programming Languages"
186 条 记 录,以下是161-170 订阅
排序:
Visual Modeling of Behavioral Properties in the LVM for XML Using XSemantic Nets
Visual Modeling of Behavioral Properties in the LVM for XML ...
收藏 引用
international symposium on database Engineering and Applications (IDEAS)
作者: R. Rajugan Elizabeth Chang Ling Feng tharam S. Dillon University of Technology Sydney Sydney NSW AU School of Information Systems Curtin University of Technology Australia Faculty of Computer Science University of Twente The Netherlands Faculty of IT University of Technology Sydney Australia
Due to the increasing dependency on self-describing, schema-based, semi-structured data (e.g. XML), there exists a need to model, design and manipulate semi-structured data and the associated semantics at a higher lev... 详细信息
来源: 评论
On the Verifiability of Programs Written in the Feature Language Extensions
On the Verifiability of Programs Written in the Feature Lang...
收藏 引用
IEEE international Symposim on High Assurance Systems Engineering
作者: Wu-Hon F. Leung Computer Science Department Istituto Italiano di Tecnologia Canada
High assurance in embedded system software is difficult to attain. Verification relies on testing. the unreliable and costly testing process is made much worse because the software base constantly changes: Adding a fe... 详细信息
来源: 评论
SoCQ: A Framework for Pervasive Environments
SoCQ: A Framework for Pervasive Environments
收藏 引用
international symposium on Parallel Architectures, Algorithms and Networks (ISPAN)
作者: Yann Gripay Frédérique Laforest Jean-Marc Petit INSA-Lyon LIRIS UMR5205CNRS Université de Lyon Lyon France
Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is the ability to query data, streams and services... 详细信息
来源: 评论
A novel approach to model NOW in temporal databases
A novel approach to model NOW in temporal databases
收藏 引用
international Workshop on Temporal Representation and Reasoning (TIME)
作者: B. Stantic J. thornton A. Sattar School of Information Technology Griffith University Gold Coast Australia
In bitemporal databases, current facts and transaction states are modeled using a special value to represent the current time (such as a minimum or maximum timestamp or NULL). Previous studies indicate that the choice... 详细信息
来源: 评论
Integrating Language Model in Handwritten Chinese Text Recognition
Integrating Language Model in Handwritten Chinese Text Recog...
收藏 引用
international Conference on Document Analysis and Recognition
作者: Qiu-Feng Wang Fei Yin Cheng-Lin Liu National Laboratory of Pattern Recognition (NLPR) Institute of Automation Chinese Academy and Sciences Beijing China
this paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segmentation candidates, and the candidate ... 详细信息
来源: 评论
A prototype of sensor network visualization application with geographic information
A prototype of sensor network visualization application with...
收藏 引用
international symposium on Information Processing in Sensor Networks (IPSN)
作者: Kazuhisa Asakawa Mitsuhiro Kashiwada Norihisa Segawa Jun Sawamoto Graduate School of Software and Information Science Iwate Prefectural University Japan Faculty of Software and Information Science Iwate Prefectural University Japan
In recent years, research of sensor networks has advanced rapidly. Sensor networks are anticipated for use in widely various fields such as product traceability systems, environmental monitoring, and health care. Howe... 详细信息
来源: 评论
Issues in Designing a Policy Language for Distributed Management of IT Infrastructures
Issues in Designing a Policy Language for Distributed Manage...
收藏 引用
IFIP/IEEE international symposium on Integrated Network Management
作者: Dakshi Agrawal Seraphin Calo Kang-Won Lee Jorge Lobo IBM Thomas J. Watson Research Center USA
the objectives of this paper are twofold. First, we introduce a novel policy language, called CIM-SPL (simple policy language for CIM) that complies with the CIM (common information model) Policy Model and fully incor... 详细信息
来源: 评论
Value-Passing CCS for Trees: A theory for Concurrent Systems
Value-Passing CCS for Trees: A Theory for Concurrent Systems
收藏 引用
theoretical Aspects of Software Engineering (TASE)
作者: Shichao Liu Ying Jiang Chinese Academy of Sciences China University of Chinese Academy of Sciences Beijing China
In this paper, we extend the theory CCS for trees (CCTS) to value-passing CCTS (VCCTS), whose symbols have the capacity for receiving and sending data values, and a non-sequential semantics is proposed in an operation... 详细信息
来源: 评论
Temporal queries in XML document archives and web warehouses
Temporal queries in XML document archives and web warehouses
收藏 引用
international Workshop on Temporal Representation and Reasoning (TIME)
作者: Fusheng Wang C. Zaniolo Computer Science Department University of California Los Angeles CA USA
By storing the successive versions of a document in an incremental fashion, XML repositories and data warehouses achieve: (i) the efficient preservation of critical information; and (ii) the ability of supporting hist... 详细信息
来源: 评论
Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing
Towards a Layered Architecture for Object-Based Execution in...
收藏 引用
international symposium on Object-Oriented Real-Time Distributed Computing
作者: Tarek Abdelzaher Qing Cao Raghu Ganti Dan Henriksson Maifi Khan Jin Heo Chengdu Huang Praveen Jayachandran Hieu Khac Le Liqian Luo Yu-En Tsai Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA
Sensor networks introduce a new application domain and set of challenges in distributed computing including new network-level programming languages, global system abstractions, and general-purpose communication protoc... 详细信息
来源: 评论