It is challenging to develop a cross-platform application, that is, an application that runs on multiple platforms. It requires not only code reuse but also an individual building or compilation for each platform, pos...
详细信息
There are three methods to evaluate networked systems during the design phase: by means of simulation, a practical testbed, and mathematical analysis. In this paper, we propose the jUDPWrapper, which enables to access...
详细信息
Continuous time Markov chains (CTMC) are one of the formalisms for building models. This paper discusses OLYMP2 - a system for solving big CTMC models (exceeding 109 states), described with a standard programming lang...
详细信息
The combination of the class is a common method in software reuse. The teacher carried out a detailed analysis of class combination related difficulties such as object memory model representation, parameter transmissi...
详细信息
In the context of compiler optimizations, tuning of parameters and selection of algorithms, runtime adaptivity and autotuning are becoming increasingly important, especially due to the complexity of applications, work...
详细信息
In this extended abstract we explore the expressiveness and modularity of our recently published object propositions methodology by applying it to verify properties about programs that use the proxy design pattern. Th...
详细信息
As long as companies arrived at a maturity, where business processes have stagnated or even the diversity of business processes, research is directed towards the improvement of data quality, that is to say, improving ...
详细信息
Universities around the world require project-based subjects and effective team allocation. Team allocation is a very time-consuming task in complex project-based coursework subjects. This gives rise to the need of au...
详细信息
Property-based testing of compilers or programminglanguages semantics is difficult to accomplish because it is hard to design a random generator for valid programs. Most compiler test tools do not have a well-specifi...
详细信息
In the last few years, microservice architecture has become an industry standard due to its horizontal scale-out capability and faster deployment benefits, both especially required for mission critical Web application...
详细信息
暂无评论