827 search results - page 26 / 166 » Patterns for Timed Property Specifications |
114
click to vote
LOPSTR
1994
Springer
15 years 6 months ago
1994
Springer
A technique for transformation of definite logic programs is presented. A first phase performs an analysis of the extended call/exit patterns of the source program. It is shown tha...
138
click to vote
APAQS
2001
IEEE
15 years 5 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
97
Voted
WEBI
2005
Springer
15 years 7 months ago
2005
Springer
Over the last years, we have witnessed an explosive growth of e-learning. More and more learning contents have been published and shared over the Internet. Therefore, how to progr...
157
click to vote
DLT
2009
14 years 11 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
116
Voted
BMCBI
2006
15 years 1 months ago
2006
Background: In gene networks, the timing of significant changes in the expression level of each gene may be the most critical information in time course expression profiles. With ...