搜索结果: 1-15 共查到“计算机软件 Model”相关记录20条 . 查询时间(0.249 秒)
2017软件模型检验国际研讨会（International SPIN Symposium on Model Checking of Software）
2017 软件模型检验 国际研讨会
font style='font-size:12px;'>
2017/6/29
Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.
DynaDiffuse: A Dynamic Diffusion Model for Continuous Time Constrained Influence Maximization
A Dynamic Diffusion Model Constrained Influence Maximization
font style='font-size:12px;'>
2016/1/22
Studying the spread of phenomena in social networks is critical but still not fully solved. Existing influence max-imization models assume a static network, disregarding its evolution over time. We in...
CMC:A Pragmatic Approach to Model Checking Real Code
CMC Pragmatic Approach Model Checking Real Code
font style='font-size:12px;'>
2015/8/7
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of execution. Model checki...
Using Model Checking to Find Serious File System Errors
Model Checking Serious File System Errors
font style='font-size:12px;'>
2015/8/7
This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring t...
Model-driven Development for Adapting Question Answering Systems to Restricted Domains
Question Answering systems Model-Driven Software Development
font style='font-size:12px;'>
2014/3/11
A Question Answering (QA) system must provide concise answers from large collections of documents to questions stated by the user in natural language. However, although many QA systems for open domain...
An Ontological Model for Component Collaboration
Ontological Model Component Collaboration
font style='font-size:12px;'>
2014/3/11
We propose an ontology-based approach to model dynamic component systems. Component collabo -rations are described as the provision and consumption of typed resources. We are particularly interested i...
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper)
Logic-based requirements specification language data flow analysis parallel execution model
font style='font-size:12px;'>
2009/12/9
It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be r...
Constructing Multidatabase Collections Using Extended ODMG Object Model
Multidatabase Collections ODMG Object Model
font style='font-size:12px;'>
2009/12/9
Collections are an important feature in database systems. They provide us with the ability to group objects of interest together, and then to manipulate them in the required fashion. The OASIS project...
South African,Rural ICT Implementation: a critical retrospective application of Latour's due process model
South African Rural ICT Implementation Latour's due process model
font style='font-size:12px;'>
2009/12/8
The potential developmental role of ICTs can pressurise governments to engage in ‘catch up’ and ‘leapfrog’. Consequently, analysis of the accompanying socio- political dimensions and risks can be, dis...
Supporting SME Collecting Organisations: A Business Model Framework for Digital Heritage Collections
Business Model Digital Online e-business
font style='font-size:12px;'>
2009/12/7
Increasing numbers of heritage collecting organisations such as archives, galleries,
libraries and museums are moving towards the provision of digital content and
services based on the collections t...
A Quantity Model for Controlling and Measuring Software Quality Based on the Expert Decision-Making Algorithm
software quality characteristics software quality model multiple criteria decision making (MCDM) analytic hierarchy process (AHP)
font style='font-size:12px;'>
2013/1/29
Researchers have been active in the field of software engineering measurement over more than 30 years. The software quality product is becoming increasingly important in the computerized society. Targ...
Study of the Warranty Cost Model for Software Reliability with an Imperfect Debugging Phenomenon
Warranty Cost Model Software Reliability Imperfect Debugging Phenomenon
font style='font-size:12px;'>
2009/7/28
Software reliability is one of the most important characteristics of software quality. Its measurement and management technologies employed during the software life-cycle are essential for producing a...
试验模态分析系统设计与应用（Design and Application of the Experimental Model Analysis System）
试验模态分析 测试系统 动力总成
font style='font-size:12px;'>
2009/5/22
设计了信号采集分析系统（VTCL_DSP）、试验模态分析系统（VTCL_MDT）为软件和NI—USB9215A信号采集器、三向加速度传感器为核心硬件的试验模态分析系统。系统引入了测量点响应矢量概念，采用定时长采集和变时基提取技术获取触发过程的激励力和响应信号。探讨了单点激励多点三向量响应模态试验分析方法获得结构完整模态振型的优点。给出了某动力总成和某白车身模态分析的应用实例。结果表明，系统具有较高...
Mahalanobis Distance Based Polynomial Segment Model For Chinese Sign Language Recogniton
Mahalanobis Distance Polynomial Segment Model Chinese Sign Language Recogniton
font style='font-size:12px;'>
2010/12/17
Sign Language Recognition (SLR) systems are mostly based on Hidden Markov Model (HMM) and have achieved excellent results. However, the assumption of frame independence in HMM makes it inconsistent wi...
An Action Semantic-Based Approach to UML1.X-2.0
Model Transformation
font style='font-size:12px;'>
2007/11/2
Abstract UML2.0 standard has been adopted by the OMG for a long time. However due to the popularity of UML1.X in industry, a huge number of practical applications and models based on UML1.X still exis...