832 search results - page 56 / 167 » Characteristic Patterns for LTL |
118
Voted
NOLISP
2005
Springer
15 years 9 months ago
2005
Springer
Most research on F0 has attempted to model the behaviour of an entire linguistic community (e.g of speakers of US or UK English, French, Japanese etc). In this research, we attempt...
119
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
157
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
131
Voted
AC
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...
121
click to vote
DBPL
1995
Springer
15 years 7 months ago
1995
Springer
We describe the Tycoon approach to scale the successful notion of a uniform, type-safe persistent object store to communication-intensive applications and applications where lo...