Filters








45,749 Hits in 7.9 sec

Tools for Building Intelligent Tutoring Systems

V. Kodaganallur, R. Weitz, D. Rosenthal
2006 Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06)  
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

Valeriy Nikolaevich Dolzhenkov
2020 International Journal of Advanced Trends in Computer Science and Engineering  
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

Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
2010 Software engineering notes  
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]

Ed Waltz
2010 Estimating Impact  
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

Mamadou K. Traoré
2008 Proceedings of the First International ICST Conference on Simulation Tools and Techniques for Communications Networks and Systems  
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]

Holger M. Kienle, Hausi A. Müller
2010 Advances in Computers  
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]

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
2006 Lecture Notes in Computer Science  
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

Peter Palensky, Edmund Widl, Atiyah Elsheikh
2014 IEEE Transactions on Systems, Man & Cybernetics. Systems  
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]

Erik Steiner, Alan MacEachren, Diansheng Guo
2002 Advances in Spatial Data Handling  
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]

Claire Le Goues, K. Rustan M. Leino, Michał Moskal
2011 Lecture Notes in Computer Science  
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

Kevin W Eliceiri, Michael R Berthold, Ilya G Goldberg, Luis Ibáñez, B S Manjunath, Maryann E Martone, Robert F Murphy, Hanchuan Peng, Anne L Plant, Badrinath Roysam, Nico Stuurman, Jason R Swedlow (+2 others)
2012 Nature Methods  
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

Javier Mora, Rubén Otín, Pooyan Dadvand, Enrique Escolano, Miguel A. Pasenau, Eugenio Oñate
2006 Compel  
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

Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang
2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006)  
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

Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe
2009 Proceedings of the 2009 Winter Simulation Conference (WSC)  
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  
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