1023 search results - page 127 / 205 » Model Checking: Software and Beyond |
168
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
132
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Legacy systems provide services that remain useful beyond the means of the technology in which they were originally implemented. Our Legacy Wrapper tool packages the services of a...
133
click to vote
PEPM
2010
ACM
16 years 28 days ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
140
Voted
IRI
2005
IEEE
15 years 9 months ago
2005
IEEE
For many years, researchers and software developers have been seeking to develop systems and applications to enable efficient and effective group work and organizational memory. ...
192
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...