7988 search results - page 294 / 1598 » A Useful Undecidable Theory |
137
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
141
click to vote
PICS
2000
15 years 6 months ago
2000
A method of data embedding based on the convolution of message data with a random phase carrier is presented. The theory behind this method is reviewed and it is shown that the te...
170
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Abstract. This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices ? a class of...
134
click to vote
VL
2006
IEEE
15 years 11 months ago
2006
IEEE
We report on a field study about how software developers experience disorientation when using the Eclipse Java integrated development environment. We analyzed the data using the ...
155
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...