Innovations in Systems and Software Engineering
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
Energy-efficient bootstrapping for wireless sensor networks
Innovations in Systems and Software Engineering - Tập 1 - Trang 205-220 - 2005
Wireless sensor networks are poised for increasingly wider uses in many military and civil applications. Such applications has stimulated research in a number of research areas related to energy conservation in such networks. Most such research focuses on energy saving in tasks after the network has been organized. Very little attention has been paid to network bootstrapping as a possible phase wh......
Measuring the effect of clone refactoring on the size of unit test cases in object-oriented software: an empirical study
Innovations in Systems and Software Engineering - Tập 15 - Trang 117-137 - 2019
This paper aims at empirically measuring the effect of clone refactoring on the size of unit test cases in object-oriented software. We investigated various research questions related to the: (1) impact of clone refactoring on source code attributes (particularly size, complexity and coupling) that are related to testability of classes, (2) impact of clone refactoring on the size of unit test case......
Allocation and analysis of reliability: multiple levels: system, subsystem, and module
Innovations in Systems and Software Engineering - Tập 2 - Trang 121-136 - 2006
We model the reliability allocation and prediction process across a hierarchical software system comprised of modules, subsystems, and system. We experiment in modeling complex reliability software systems using several software reliability models to test the feasibility of the process and to evaluate the accuracy of the models for this application. This is a subject deserving research and experim......
Stochastic modeling and analysis of road–tramway intersections
Innovations in Systems and Software Engineering - Tập 16 - Trang 215-230 - 2019
In the last decades, the socio-demographic evolution of the population has substantially changed mobility demand, posing new challenges in minimizing urban congestion and reducing environmental impact. In this scenario, understanding how different modes of transport can efficiently share (partially or totally) a common infrastructure is crucial for urban development. To this aim, we present a stoc......
A methodology for verifying SysML requirements using activity diagrams
Innovations in Systems and Software Engineering - Tập 13 Số 1 - Trang 19-33 - 2017
Adaptive reflex autonomicity for real-time systems
Innovations in Systems and Software Engineering - Tập 5 - Trang 107-115 - 2009
It may appear that for software systems that require strict real-time behavior, the idea of incorporating self-management (and specifically concepts from Autonomic Computing) may add the burden of excessive additional functionality and overhead. However, our experience is that, not only does real-time software benefit from autonomicity, but also the Autonomic Computing initiative (like other initi......
Landmark triangulation-induced Altitude Signature for change detection of human emotion from face image sequence
Innovations in Systems and Software Engineering - - Trang 1-13 - 2021
Video-based facial expression recognition is a potential alternative for detecting the transitional processes of human emotion. In this paper, we present the landmark triangulation-induced altitude signatures to depict gradual changes in human emotion from face video frames. In our proposed approach, we consider the geometry-based triangulation technique which results from the triangles formed by ......
Probabilistic causes in Markov chains
Innovations in Systems and Software Engineering - Tập 18 - Trang 347-367 - 2022
By combining two of the central paradigms of causality, namely counterfactual reasoning and probability-raising, we introduce a probabilistic notion of cause in Markov chains. Such a cause consists of finite executions of the probabilistic system after which the probability of an
$$\omega $$
-regul......
On vulnerability analysis of several password authentication protocols
Innovations in Systems and Software Engineering - Tập 11 Số 3 - Trang 167-176 - 2015
An approach to applying SOFL for agile process and its application in developing a test support tool
Innovations in Systems and Software Engineering - Tập 6 - Trang 137-143 - 2009
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approach to constructing formal specifications, and specification-based inspection and testing for verification and validation. In this paper, we describe a novel approach to applying the SOFL method to achieve agile development process. Thi......
Tổng số: 394
- 1
- 2
- 3
- 4
- 5
- 6
- 10