搜索页_+Systems+task+analysis

读者指南

远程访问

科技查新

学术客户端

公务邮箱

NSTL服务站

在“Elsevier”中，命中：501条，耗时：0.0579792 秒

1.A symbolic analysis framework for static analysis of imperative programming languages

作者：Bernd Burgstaller^a ; ^{bburg@cs.yonsei.ac.kr} ; [Author Vitae] ; Bernhard Scholz^b ; ^{scholz@it.usyd.edu.au} ; [Author Vitae] ; Johann Blieberger^c ; ^{blieb@auto.tuwien.ac.at} ; [Author Vitae]

关键词：Static program analysis ; Symbolic analysis ; Path expression algebra ; Programming language semantics

刊名：Journal of Systems and Software

出版年：2012

2.New perspectives in ontological analysis: Guidelines and rules for incorporating modelling languages into UEML

作者：Mounira Harzallah^a ; ^{mounira.harzallah@univ-nantes.fr} ; Giuseppe Berio^b ; ^{giuseppe.berio@univ-ubs.fr} ; Andreas L. Opdahl^c ; ^{Andreas.Opdahl@uib.no}

关键词：Ontological analysis of modelling languages ; Enterprise modelling ; IS modelling ; Language management ; Unified Enterprise Modelling Langauge ; Language meta model

刊名：Information Systems

出版年：2012

3.An evolutionary factor analysis computation for mining website structures

作者：M.R. Martí ; nez-Torres^a ; ¹ ; ^{rmtorres@us.es} ; S.L. Toral^b ; ^{toral@esi.us.es} ; B. Palacios^a ; ¹ ; ^{beatriz@us.es} ; F. Barrero^b ; ^{fbarrero@esi.us.es}

关键词：Link analysis ; Website structure ; Factor analysis ; Evolutionary computation ; Genetic algorithms

刊名：Expert Systems with Applications

出版年：2012

4.Concurrent material flow analysis by P3R-driven modeling and simulation in PLM

作者：Ju Yeon Lee¹ ; ^{dolphin613@skku.edu} ; [Author Vitae] ; Hyoung Seok Kang¹ ; ^{royalhunt@skku.edu} ; [Author Vitae] ; Gun Yeon Kim¹ ; ^{miragekhan@skku.edu} ; [Author Vitae] ; Sang Do Noh ; ^{sdnoh@skku.edu} ; [Author Vitae]

关键词：Material flow analysis (MFA) ; P3R (product ; process ; plant and resource) data-driven modeling & simulation ; PLM (product lifecycle management)

刊名：Computers in Industry

出版年：2012

5.An analysis on the use of pre-processing methods in evolutionary fuzzy systems for subgroup discovery

作者：Cristó ; bal J. Carmona^a ; ^{ccarmona@ujaen.es} ; Juliá ; n Luengo^b ; Pedro Gonzá ; lez^a ; Marí ; a José ; Del Jesus^a

关键词：Subgroup discovery ; Evolutionary fuzzy systems ; Missing values

刊名：Expert Systems with Applications

出版年：2012

6.Can Silicon Retina Sensors be used for optical motion analysis in sports?

作者：S. Litzenberger ^{litzenberger@technikum-wien.at} ; A. Sabo ^{sabo@technikum-wien.at}

关键词：motion analysis ; Silicon Retina ; address-event representation ; dynamic vision sensor

刊名：Procedia Engineering

出版年：2012

7.Hierarchical web resources retrieval by exploiting Fuzzy Formal Concept Analysis

作者：Carmen De Maio ^{cdemaio@unisa.it} ; Giuseppe Fenza ^{gfenza@unisa.it} ; Vincenzo Loia ^{loia@unisa.it} ; Sabrina Senatore ; ^{ssenatore@unisa.it}

关键词：Fuzzy Formal Concept Analysis ; Fuzzy ontology ; Lattice ; Facet-based navigation ; Information Retrieval

刊名：Information Processing and Management

出版年：2012

8.Theoretical analysis of the dynamic behavior of presliding rolling friction via skeleton technique

作者：T. Tjahjowidodo ; ^{ttegoeh@ntu.edu.sg}

关键词：Rolling friction ; Presliding regime ; Skeleton ; Hilbert ; Wavelet

刊名：Mechanical Systems and Signal Processing

出版年：2012

9.Using enterprise architecture and technology adoption models to predict application usage

作者：Per Nä ; rman ; ^{pern@ics.kth.se} ; [Author Vitae] ; Hannes Holm ; [Author Vitae] ; David Hö ; ö ; k ; [Author Vitae] ; Nicholas Honeth ; [Author Vitae] ; Pontus Johnson ; [Author Vitae]

关键词：Enterprise architecture ; Architecture analysis ; Technology Acceptance Model ; Task-Technology Fit ; Maintenance management ; Computerized Maintenance Management Systems ; Metamodel ; Application portfolio management

刊名：Journal of Systems and Software

出版年：2012

10.Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal

作者：Franco Cicirelli ^{f.cicirelli@deis.unical.it} ; Angelo Furfaro ^{a.furfaro@deis.unical.it} ; Libero Nigro ; ^{l.nigro@unical.it}

关键词：Modeling ; Timing constraints ; Real-time systems ; Schedulability analysis ; Time Stream Petri Nets ; Model checking ; Timed automata ; Uppaal

刊名：Applied Mathematics and Computation

出版年：2012

1

2

3

4

5

6

7

8

9

按检索点细分(501)

题名(1)

关键词(7)

文摘(338)

按出版年细分(501)

2000年及以前(68)

2001年(10)

2002年(10)

2003年(20)

2004年(56)

2005年(68)

2006年(40)

2007年(93)

2008年(60)

2009年(1)

2011年(1)

2012年(74)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700