827 search results - page 29 / 166 » Patterns for Timed Property Specifications |
114
click to vote
OSDI
2006
ACM
16 years 2 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
132
click to vote
SERA
2004
Springer
15 years 7 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
118
click to vote
AVSS
2003
IEEE
15 years 7 months ago
2003
IEEE
A smart and simple algorithm is presented in this paper for vehicle’s license plate recognition system. Based on pattern matching, this algorithm can be applied for real time de...
102
click to vote
BC
2008
15 years 2 months ago
2008
Abstract Stable signal transmission is crucial for information processing by the brain. Synfire-chains, defined as feedforward networks of spiking neurons, are a well-studied class...
112
click to vote
JUCS
2006
15 years 1 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...