3750 search results - page 233 / 750 » Timed Automata Patterns |
196
click to vote
TCS
2002
15 years 6 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
181
click to vote
TAMODIA
2007
15 years 7 months ago
2007
Abstract. Covering quality aspects such as usability through the software development life cycle is challenging. These “-ilities” are generally difficult to grasp and usually ...
165
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Maintenance is a time consuming activity within software development and it requires a good understanding of the system in question. It is hard or even impossible to understand po...
217
click to vote
ICDE
2005
IEEE
16 years 6 days ago
2005
IEEE
Sequence pattern mining is an important research problem because it is the basis of many other applications. Yet how to efficiently implement the mining is difficult due to the ...
166
click to vote
ESAW
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...