A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Tools for Building Intelligent Tutoring Systems
2006
Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06)
Preserved Fulltext
Our constraint-based tutor generator has a generic constraint evaluator which can support declarative development of constraints for several domains, whereas our model-tracing implementation requires the ...
We have created two programs ("tutor generators") for assisting users in building ITSs conforming to two prominent intelligent tutoring paradigms: model-tracing and constraint-based. ...
Anything else would require the tutor developer to write a plug-in. ...
doi:10.1109/hicss.2006.490
dblp:conf/hicss/KodaganallurWR06
fatcat:otmkt6jvifdz7puj56htd6ha3y
Software Tools for Ontology Development
2020
International Journal of Advanced Trends in Computer Science and Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Based on an expert survey, the main directions of the use of ontologies in the education system, the problems of implementing the ontological approach in the education system, as well as the criteria for ...
choosing software tools for ontology development are determined. ...
Thus, the tools as a whole are similar in functionality but have differences in the internal way of building a knowledge base. ...
doi:10.30534/ijatcse/2020/05922020
fatcat:f4idqdvwgfbq3hfomsponxpxfa
The overture initiative integrating tools for VDM
2010
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems using VDM. ...
The mission is to both provide an industrialstrength tool set for VDM and also to provide an environment that allows researchers and other stakeholders to experiment with modifications and extensions to ...
plug-ins which make up the Overture Editor. tools Additional build tools e.g. ...
doi:10.1145/1668862.1668864
fatcat:id7qv2ccmbczbmmx6hjm4wnkoq
Emerging Techniques and Tools
[chapter]
2010
Estimating Impact
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
International interventions require unconventional approaches to modeling and analysis. According to Alberts et al. (2007, p. 5), the characteristics of intervention problems include: 1. ...
In such situations, analysts and planners need to follow a set of principles that are very different from those of situations with unified management structure, a clear objective and a situation understood ...
(This process is the beginning of internal model validation: building confidence in the underlying theory on which the model is based.) 4. ...
doi:10.1007/978-1-4419-6235-5_2
fatcat:2dqp2rtycvh2zntkuzh7xfdju4
SimStudio: a Next Generation Modeling and Simulation Framework
2008
Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
From a software perspective, SimStudio is a middleware for the federation of simulators and the collaborative building of simulations. ...
SimStudio is an operational framework that must serve to capitalize theoretical advances in Modeling and Simulation (M&S) as well as to gather M&S tools and make them accessible through a web browser. ...
We see this theory as an axiomatic mathematical and computational approach which must be supported by a technological operational framework that allows rapid prototyping and can be used for "in silico" ...
doi:10.4108/icst.simutools2008.3214
dblp:conf/simutools/Traore08
fatcat:jgyvtvzexbfl5auihcs5htflfu
The Tools Perspective on Software Reverse Engineering
[chapter]
2010
Advances in Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this chapter we discuss three lenses, namely (1) requirements for reverse engineering tools, (2) construction of reverse engineering tools, and (3) evaluation of reverse engineering tools. ...
This chapter explores the issue of building tools for reverse engineering. ...
VizzAnalyzer is a plug-in-based tool framework that allows to write analyses and visualization plug-ins [116] . The plug-ins are communicating by manipulating a graph data structure. ...
doi:10.1016/s0065-2458(10)79005-7
fatcat:xc7i6ccaqjdjrgwf2itakyjcwa
An Open Extensible Tool Environment for Event-B
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. ...
In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. ...
More Other plug-ins currently under development in RODIN include a petri-net based model checker for an integration of B and the π-calculus, documentation tools for B models, graphical animation tools, ...
doi:10.1007/11901433_32
fatcat:ne6ic4l4mbchfh2pbxinamjrpa
Simulating Cyber-Physical Energy Systems: Challenges, Tools and Methods
2014
IEEE Transactions on Systems, Man & Cybernetics. Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Using a characteristic test model, the scalability of the two approaches is analyzed. ...
This paper describes the main challenges of continuous time-based and discrete event-based models of such cyber-physical energy systems. ...
In this situation the usage of an equation-based approach becomes more suitable, since GridLAB-D itself offers no generic tools for physical modeling in general. ...
doi:10.1109/tsmcc.2013.2265739
fatcat:frta3ohgbvebtiknpeu6hibdle
Developing Lightweight, Data-Driven Exploratory Geo-Visualization Tools for the Web
[chapter]
2002
Advances in Spatial Data Handling
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper details efforts to development a set of prototype, web-based geovisualisation tools. ...
The focus is on design and implementation of lightweight tools that can run in standard web browsers and access data, stored in a remote database. ...
Thanks go to Luis Mejias for his considerable efforts in building the geographic database of the U.S. ...
doi:10.1007/978-3-642-56094-1_36
fatcat:f3mfgu73obezjpg25a5swigz7m
The Boogie Verification Debugger (Tool Paper)
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Just as Boogie supports multiple language front-ends, BVD can work with those front-ends through a plug-in architecture. ...
The Boogie Verification Debugger (BVD) is a tool that lets users explore the potential program errors reported by a deductive program verifier. ...
Müller and Ruskiewicz have implemented a Visual Studio dynamic debugger plug-in for Spec#, with the same purpose [10] as our tool. ...
doi:10.1007/978-3-642-24690-6_28
fatcat:stkuyghxqrbu7j4xmgf5dfakvy
Biological imaging software tools
2012
Nature Methods
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
ACKNOwLEdGMENTS We acknowledge our respective funding sources and members of our laboratories for feedback and useful comments, in particular A. Merouane and A. ...
Narayanswamy of the Roysam lab for their assistance in preparing figures, and L. Kamentsky and M. Bray of the Carpenter lab for useful input and edits on the manuscript. ...
Proprietary tools have the ability, at least in theory, to ensure that workflows continue to produce the same results with progressive updates to the software, but this is not always the case. ...
doi:10.1038/nmeth.2084
pmid:22743775
pmcid:PMC3659807
fatcat:6wnzuhdrdfd67o72cmcgwwpgka
Open tools for electromagnetic simulation programs
2006
Compel
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Design/methodology/approach -The paper presents a review of numerical methods for solving electromagnetic problems and presentation of the main features of GiD, Kratos and EMANT. ...
Practical implications -The tools could be easily learnt by different user profiles: from end-users interested in simulation programs to developers of simulation packages. ...
As a result, three general computer tools are presented to cover these requirements. ...
doi:10.1108/03321640610666709
fatcat:lnayukl2d5el3m6jre553epoiy
Harnessing Theories for Tool Support
2006
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
The tools therefore need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensure high quality of such add-ins is to base them on sound formal foundations. ...
The paper concludes with a discussion of feasibility of developing the proposed add-ins and of the conditions for such extensions to be actually used. ...
This theory, which is called rCOS [13, 4] and is based on the UTP framework [15] , forms the basis for our analysis of what should be feasible in a further enrichment of a tool like MasterCraft. ...
doi:10.1109/isola.2006.49
dblp:conf/isola/LiuMRY06
fatcat:kx6nia7wx5gsxepufep5ytkawi
Design and development of software tools for Bio-PEPA
2009
Proceedings of the 2009 Winter Simulation Conference (WSC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Through providing tools for this modelling language we hope to allow easier use of a range of simulators and model-checkers thereby freeing the modeller from the responsibility of developing a custom simulator ...
This paper surveys the design of software tools for the Bio-PEPA process algebra. ...
The Centre for Systems Biology at Edinburgh is a Centre for Integrative Systems Biology (CISB) funded by BBSRC and EPSRC, reference BB/D019621/1. Duguid, Gilmore, Guerriero, Hillston and Loewe ...
doi:10.1109/wsc.2009.5429725
dblp:conf/wsc/DuguidGGHL09
fatcat:vpmsziaa5zb4bkcswi42edkw5a
Simulation Tools
[chapter]
2018
Intelligent Vehicles
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This approach constitutes the basis for traffic flow theory (e.g., Herman and Potts, 1900) . ...
A key element with CORSIM is its calibration. The CORSIM framework requires the calibration of a big number of variables, before its exploitation at a particular case. ...
doi:10.1016/b978-0-12-812800-8.00010-2
fatcat:ttp5rboeond4taxu4n3annzeou
« Previous
Showing results 1 — 15 out of 45,749 results