1175 search results - page 35 / 235 » Abstract computability and algebraic specification |
108
click to vote
GCC
2004
Springer
15 years 8 months ago
2004
Springer
Web services (WS) provide a technology for integrating applications over the Internet. The components of a WS are active and persistent computational entities that have autonomous ...
118
click to vote
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
132
click to vote
CALCO
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This is a theoretical paper giving the extended Stone duality perspective on the recently discovered connection between duality theory as studied in non-classical logic a...
115
click to vote
ADG
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
112
click to vote
ICFEM
2000
Springer
15 years 6 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...