咨询与建议

限定检索结果

文献类型

  • 525 篇 会议
  • 195 篇 期刊文献
  • 21 册 图书

馆藏范围

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

日期分布

学科分类号

  • 464 篇 工学
    • 374 篇 计算机科学与技术...
    • 305 篇 软件工程
    • 55 篇 信息与通信工程
    • 52 篇 控制科学与工程
    • 27 篇 电气工程
    • 27 篇 土木工程
    • 24 篇 电子科学与技术(可...
    • 23 篇 船舶与海洋工程
    • 22 篇 生物工程
    • 19 篇 机械工程
    • 16 篇 建筑学
    • 15 篇 网络空间安全
    • 14 篇 生物医学工程(可授...
    • 10 篇 材料科学与工程(可...
    • 9 篇 农业工程
  • 222 篇 理学
    • 124 篇 数学
    • 38 篇 系统科学
    • 35 篇 物理学
    • 29 篇 生物学
    • 27 篇 统计学(可授理学、...
    • 21 篇 海洋科学
  • 117 篇 管理学
    • 76 篇 管理科学与工程(可...
    • 44 篇 图书情报与档案管...
    • 41 篇 工商管理
  • 18 篇 经济学
    • 17 篇 应用经济学
  • 15 篇 法学
    • 14 篇 社会学
  • 15 篇 教育学
    • 13 篇 教育学
  • 15 篇 医学
    • 12 篇 临床医学
    • 11 篇 基础医学(可授医学...
  • 12 篇 农学
    • 11 篇 作物学
  • 3 篇 文学
  • 2 篇 哲学
  • 1 篇 军事学

主题

  • 21 篇 application soft...
  • 21 篇 artificial intel...
  • 20 篇 software enginee...
  • 20 篇 semantics
  • 17 篇 programming
  • 17 篇 software
  • 14 篇 testing
  • 14 篇 unified modeling...
  • 13 篇 optimization
  • 12 篇 monitoring
  • 12 篇 data models
  • 11 篇 runtime
  • 11 篇 hardware
  • 10 篇 java
  • 9 篇 computer archite...
  • 9 篇 model checking
  • 9 篇 analytical model...
  • 8 篇 computer science
  • 8 篇 software systems
  • 8 篇 electronic mail

机构

  • 15 篇 institute for pr...
  • 11 篇 department of sy...
  • 10 篇 technical univer...
  • 8 篇 programming syst...
  • 7 篇 chair for progra...
  • 7 篇 department of pr...
  • 6 篇 department of co...
  • 6 篇 programming syst...
  • 6 篇 department of co...
  • 6 篇 computer enginee...
  • 6 篇 computer techniq...
  • 5 篇 department of co...
  • 5 篇 department of el...
  • 5 篇 department of pr...
  • 5 篇 technical univer...
  • 5 篇 tu braunschweig ...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 institute for so...
  • 5 篇 institute for pr...

作者

  • 48 篇 steffen bernhard
  • 33 篇 margaria tiziana
  • 22 篇 bernhard steffen
  • 18 篇 michael philipps...
  • 17 篇 bauer bernhard
  • 15 篇 philippsen micha...
  • 14 篇 tiziana margaria
  • 13 篇 goltz ursula
  • 13 篇 wu youfeng
  • 13 篇 lochau malte
  • 12 篇 gancheva veska
  • 12 篇 christopher muts...
  • 10 篇 veska gancheva
  • 9 篇 wang cheng
  • 9 篇 lamprecht anna-l...
  • 9 篇 youfeng wu
  • 9 篇 christiansen hen...
  • 9 篇 naujokat stefan
  • 9 篇 niehren joachim
  • 8 篇 mostafa abotaleb

语言

  • 714 篇 英文
  • 18 篇 其他
  • 5 篇 德文
  • 2 篇 中文
  • 1 篇 法文
  • 1 篇 日文
检索条件"机构=Systems and Programming"
741 条 记 录,以下是441-450 订阅
排序:
Hybrid test of web applications with webtest
Hybrid test of web applications with webtest
收藏 引用
Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2008
作者: Raffelt, Harald Steffen, Bernhard Margaria, Tiziana Merten, Maik Department of Programming Systems TU Dortmund Department of Services and Software Engineering Universität Potsdam
In this paper, we present hybrid testing, a method that combines replay-testing (static testing) with automata learning techniques that generate models of black box systems (dynamic testing). This combination helps br... 详细信息
来源: 评论
Policy expression and checking in XACML, WS-Policies, and the jABC
Policy expression and checking in XACML, WS-Policies, and th...
收藏 引用
Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2008
作者: Karusseit, Martin Margaria, Tiziana Willebrandt, Holger Department of Programming Systems TU Dortmund Germany Department of Service and Software Engineering Universität Potsdam Germany
Web-based access to sensitive and confidential data is realized today via different approaches, using a variety of methods to specify and combine access control policies. In an optic of change management and evolution... 详细信息
来源: 评论
Synthesizing the mediator with jABC/ABC
Synthesizing the mediator with jABC/ABC
收藏 引用
6th International Workshop on Evaluation of Ontology-Based Tools and the Semantic Web Service Challenge, EON-SWSC 2008
作者: Margaria, Tiziana Bakera, Marco Raffelt, Harald Steffen, Bernhard Department of Service and Software Engineering Universität Potsdam Germany Department of Programming Systems TU Dortmund Germany
In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (or configuration) algorithm originally embedded ... 详细信息
来源: 评论
SCA and jABC: Bringing a service-oriented paradigm to web-service construction
SCA and jABC: Bringing a service-oriented paradigm to web-se...
收藏 引用
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008
作者: Jung, Georg Margaria, Tiziana Nagel, Ralf Schubert, Wolfgang Steffen, Bernhard Voigt, Horst UniversitaÌêt Potsdam Department of Service and Software Engineering Germany TU Dortmund Department of Programming Systems Germany
Extensibility, flexibility, easy maintainability, and long-term robustness are core requirements for modern, highly distributed information and computation systems. Such systems in turn show a steady increase in compl... 详细信息
来源: 评论
Software transactional memory
收藏 引用
Queue 2008年 第5期6卷 46-58页
作者: Cascaval, Calin Blundell, Colin Michael, Maged Cain, Harold W. Wu, Peng Chiras, Stefanie Chatterjee, Siddhartha Programming models and tools for scalable systems IBM's T.J. Watson Research Center University of Pennsylvania IBM's Systems and Technology Group Austin Research Laboratory Department of Computer Science University of Texas Austin United States
No abstract available
来源: 评论
Experimenting with language support for proximity in ambient-oriented programming
Experimenting with language support for proximity in ambient...
收藏 引用
International Workshop on Engineering Environment-Mediated Multi-Agent systems, EEMMAS 2007
作者: Ramiro, Victor Dedecker, Jessie Tanter, Éric Barron, Peter University of Chile Santiago Chile Programming Technology Lab. Vrije Universiteit Brussel Belgium Distributed Systems Group Trinity College Dublin Ireland
Proximity is a key to scalable and meaningful interactions in distributed systems, both natural and artificial, and in particular in pervasive computing environments. However, proximity as such is a vague notion that ... 详细信息
来源: 评论
Harnessing the multicores: Nested data parallelism in Haskell
Harnessing the multicores: Nested data parallelism in Haskel...
收藏 引用
28th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008
作者: Jones, Simon Peyton Leshchinskiy, Roman Keller, Gabriele Chakravarty, Manuel M.T. Microsoft Research Ltd. Cambridge United Kingdom Programming Languages and Systems School of Computer Science and Engineering University of New South Wales Australia
If you want to program a parallel computer, a purely functional language like Haskell is a promising starting point. Since the language is pure, it is by-default safe for parallel evaluation, whereas imperative langua... 详细信息
来源: 评论
Decentralized business process modeling and enactment:: ICT architecture topologies and decision methods
Decentralized business process modeling and enactment:: ICT ...
收藏 引用
5th International Workshop on programming Multi-Agent systems
作者: Bauer, Bernhard Mueller, Jorg P. Roser, Stephan Univ Augsburg Programming Distributed Systems Lab Univ Str 14 D-86135 Augsburg Germany Tech Univ Clausthal Dept Informat D-38678 Clausthal Zellerfeld Germany
Multiagent systems have been proposed in the literature as a suitable architectural and implementation approach for cross-enterprise collaboration, due to their support for decentral decision-making and peer-to-peer c... 详细信息
来源: 评论
Practical weak-atomicity semantics for Java STM  08
Practical weak-atomicity semantics for Java STM
收藏 引用
20th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA'08
作者: Menon, Vijay Adl-Tabatabait, Ali-Reza Balensiefer, Steven Hudson, Richard L. Shpeisman, Tatiana Saha, Bratin Welc, Adam Programming Systems Lab Intel Corporation Santa Clara CA 95054 Germany Department of Computer Science and Engineering University of Washington Seattle WA 98195 United States
As memory transactions have been proposed as a language-level replacement for locks, there is growing need for well-defined semantics. In contrast to database transactions, transaction memory (TM) semantics are compli... 详细信息
来源: 评论
Program recursive forms and programming automatization for functional languages
收藏 引用
WSEAS Transactions on Computers 2009年 第8期8卷 1256-1265页
作者: Archvadze, N. Pkhovelishvili, M. Shetsiruli, L. Nizharadze, M. Department of Computer Sciences Faculty of Exact and Natural Sciences I. Javakhishvili Tbilisi State University 2. University st. 0143 Tbilisi South Georgia and the South Sandwich Islands Department of Programming N. Muskhelishvili Computing Mathematic Institute 7 Akuri st. 0193 Tbilisi South Georgia and the South Sandwich Islands Department of Mathematics and Computer Science Shota Rustaveli State University 35 Ninoshvili st. 6010 Batumi South Georgia and the South Sandwich Islands Faculty of Informatics and Control Systems Georgian Technical University 77 Kostava st. 0175 Tbilisi South Georgia and the South Sandwich Islands
The automatic programming system has been considered by means of which it becomes easier to carry out traditional programming stages. There is discussed both recursive forms: parallel, interrecursion and recursion of ... 详细信息
来源: 评论