122 search results - page 8 / 25 » The Creation of a New Minor Event Coding System |
ICSM
2009
IEEE
14 years 2 months ago
2009
IEEE
Most of today’s event driven software (EDS) systems are tested using test cases that are carefully constructed as sequences of events; they test the execution of an event in the...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper proposes a new publishing system using PC and large-sized printer that can produce high quality printed matters comprising text, charts, and illustrations, etc. To cons...
WSFM
2007
Springer
14 years 1 months ago
2007
Springer
Developing wide-area distributed applications requires jointly analyzing functional and Quality of Service (QoS) aspects, such as timing properties. Labelled transition systems and...
ENTCS
2008
13 years 7 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
DEDS
2000
13 years 7 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...