Computer and information sciences topic list of research papers
-
Monte Carlo Methods for Process Algebra
Abstract We review the recently developed technique of Monte Carlo model checking and show how it can be applied to the implementation problem for I/O Automata. We then consider some open problems in applying Monte Carlo techniques to other...
2006 / Radu Grosu, Scott A. Smolka -
Preface2009 / Christos Makris, Joost Visser
-
Towards Deriving Test Sequences by Model Checking
Abstract Model-based testing automatically generates test cases from a model describing the behavior of the system under test. Although there exist several model-based formal testing methods, they usually do not address time constraints, mainly due...
2008 / Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão, José Carlos Maldonado -
Design Patterns for Learning and Assessment: Facilitating the Introduction of a Complex Simulation-Based Learning Environment into a Community of Instructors2009 / Dennis C. Frezzo, John T. Behrens, Robert J. Mislevy
-
Towards the Definition of Relations between Clusters in Multicriteria Decision Aid Clustering
Abstract This paper tackles the problem of defining relations between clusters in multicriteria decision aid clustering. In multicriteria decision aid field, the comparison between objects is based on preference relations that express whether these...
2013 / Baroudi Rouba, Safia Nait Bahloul -
Spatial Thinking and the GIS User Interface
Abstract Geographic information science can be defined as the study of the fundamental issues of geographic information, and is often motivated by the need to improve geographic information technologies. One such issue concerns the design of the...
2011 / Michael F. Goodchild -
Determination of relationship between prospective chemistry teachers’ scientific epistemological views, information commitments and online searching achievement
Abstract The aim of this study is to examine the relationship between scientific epistemological views (SEV), information commitments (IC) and online searching achievement of prospective chemistry teachers. In order to measure prospective chemistry...
2011 / Özge OzyalQin Oskay, Ayhan Yilmaz, Sinem Dinçol, Emine Erdem -
Does new product growth accelerate across technology generations?2009 / Stefan Stremersch, Eitan Muller, Renana Peres
-
The Design of General Analog to Digital Converter
Abstract We designed one kind of general A/D converter based on the NuMicro M0516 processor. Taking the realize of AD574A for example to illustrate the process of using this processor. We solved the interface between digital input and analog input,...
2012 / Li Yan, Fu Min, Hu De-quan -
Refinement of Interface Automata Strengthened by Action Semantics
Abstract Interface automata are light-weight models that capture the temporal interface behavior of software components. They have the ability to model both the input requirements and the output behavior of a component. They support the...
2009 / Sebti Mouelhi, Samir Chouali, Hassan Mountassir -
Research on Interaction Compatibility of Enterprises on Supply Chain
Abstract To verify the compatibility of interaction of enterprises on the supply chain, the verification method and design of a supply chain interaction model based on Pi-calculus is presented. First, the interaction view is used to describe the...
2011 / Yongtao Huang, Gang Wang, Bingyin Ren, Haoyun Zhang -
Adaptive Deployment of Directory for Service Discovery in MANET
Abstract Ensuring service discovery adaptability is a key issue for mobile ad-hoc network (MANET). The protocol should adapt to the dynamics of service discovery queries pattern and network topology. In this paper, we propose an adaptive directory...
2011 / Yinsheng Cui, Zhijun Li, Shouxu Jiang -
Dynamic Management of Hardware Multi-threading for Network Processors
Abstract In this paper, we presented a dynamic management mechanism of hardware multi-threading for pipelined hardware multi-threading architecture. And a set of special instructions are provided. In view of the workload and traffic of network are...
2011 / Yue Qi, XinQiang Luo, Qin Wang -
Conventional and web based reflection tools in learning the design of interactive learning objects
Abstract To help learners with varying learning needs and preferences requires instructional designers to follow both prescribed methodologies and creative approaches. It also requires considering variety of viewpoints without being influenced by...
2009 / Yavuz Akpınar -
An Empirical Investigation of System Changes to Frame Links between Design Decisions and Ilities
Abstract Maintaining system performance in the presence of uncertainties in design and operating environments is both challenging and increasingly essential as system lifetimes grow longer. In response to perturbations brought on by these...
2012 / J. Clark Beesemyer, Adam M. Ross, Donna H. Rhodes -
Bandwidth Analysis of Functional Interconnects Used as Test Access Mechanism2010 / Ardy van den Berg, Pengwei Ren, Erik Jan Marinissen, Georgi Gaydadjiev, Kees Goossens
-
Visualizing large telecommunication data sets2002 / E.E. Koutsofios, S.C. North, D.A. Keim
-
Face Recognition From Single Sample Per Person by Learning of Generic Discriminant Vectors
Abstract The conventional ways of recognizing faces always assume the possession and heavily relies on extensive and representative datasets, but that is not the case in most real-world situations where more often than not, a very limited or even...
2012 / Fadhlan Hafiz, Amir A. Shafie, Yasir Mohd Mustafah -
Modeling minimum temperature using adaptive neuro-fuzzy inference system based on spectral analysis of climate indices: A case study in Iran
Abstract Nowadays, a lot of attention is paid to the application of intelligent systems in predicting natural phenomena. Artificial neural network systems, fuzzy logic, and adaptive neuro-fuzzy inference are used in this field. Daily minimum...
2013 / Hojatollah Daneshmand, Taghi Tavousi, Mahmood Khosravi, Saeed Tavakoli -
European railway traffic management system validation using UML/Petri nets modelling strategy2010 / Sana Jabri, El Miloudi El Koursi, Thomas Bourdeaud’huy, Etienne Lemaire