1261 search results - page 199 / 253 » A Hierarchy of Temporal Properties |
CAI
2011
Springer
13 years 15 days ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, ļ¬nite model theory and proļ...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
We describe a method for the speciļ¬cation and veriļ¬cation of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
IMC
2004
ACM
14 years 2 months ago
2004
ACM
Virtual Private Networks provide secure and reliable communication between customer sites. With increase in number and size of VPNs, providers need eļ¬cient provisioning techniqu...
ISORC
2003
IEEE
14 years 2 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...