816 search results - page 110 / 164 » Automating Verification by Functional Abstraction at the Sys... |
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract. In this paper, reverse partially-marked safe net condition/event systems (RsNCES) are introduced, rules of their functioning are defined and convenient interpretation met...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Small ubiquitous devices connected by wireless networks will become future Internet appliances. To support them, communication networks must evolve to seamlessly assist appliances...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
IJSEKE
2006
13 years 9 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...