2969 search results - page 282 / 594 » The Case for User-Centered CASE Tools |
215
click to vote
WSC
2008
15 years 9 months ago
2008
Despite that simulation possesses an establish background and offers tremendous promise for designing and analyzing complex production systems, manufacturing industry has been les...
143
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
167
click to vote
WSC
2008
15 years 9 months ago
2008
AL MODELLING: KNOWLEDGE ACQUISITION AND MODEL ABSTRACTION Kathy Kotiadis Stewart Robinson Operational Research and Management Sciences Group Warwick Business School University of W...
195
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
Given the heterogeneous nature of biological data and their intensive use in many tools, in this paper we propose a semantic data access and integration (DAI) service, based on th...
186
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...