827 search results - page 27 / 166 » Patterns for Timed Property Specifications |
148
click to vote
DEXAW
2004
IEEE
15 years 5 months ago
2004
IEEE
Many applications refer to moving objects or phenomena and require spatio-temporal modelling and specific analysis. Unlike conventional data where attributes are simple values (nu...
130
click to vote
WCRE
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...
126
click to vote
CORR
2012
Springer
13 years 9 months ago
2012
Springer
Graph pattern matching is often defined in terms of subgraph isomorphism, an np-complete problem. To lower its complexity, various extensions of graph simulation have been consid...
109
click to vote
CPM
1997
Springer
15 years 6 months ago
1997
Springer
We show an ecient pattern matching algorithm for strings that are succinctly described in terms of straight-line programs, in which the constants are symbols and the only operati...
120
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...