7380 search results - page 496 / 1476 » Engineering Software Intensive Systems |
147
click to vote
SEE
1997
Springer
15 years 9 months ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...
112
Voted
APSEC
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper is concerned with the design and performance of the telephone directory enquiry system newly adopted in Hong Kong. This system maintains three million telephone records...
145
Voted
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
153
Voted
ISSTA
1998
ACM
15 years 8 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
150
Voted
FSTTCS
2010
Springer
15 years 3 months ago
2010
Springer
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...