7124 search results - page 1222 / 1425 » Programming Languages and Operating Systems |
132
Voted
ICSM
2003
IEEE
15 years 8 months ago
2003
IEEE
Design patterns are micro architectures that have proved to be reliable, easy-to implement and robust. There is a need in science and industry for recognizing these patterns. We p...
158
click to vote
IDEAS
2003
IEEE
15 years 8 months ago
2003
IEEE
In the past few years, much attention has been paid to the study of semistructured data, i.e., data with irregular, possibly unstable, and rapidly changing structure, and, in part...
141
Voted
UML
2001
Springer
15 years 7 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...
104
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
We present an approach to building libraries of tasks in complex action languages such as Golog, for query answering. Our formalization is based on a situation calculus framework t...
CATS
2008
15 years 4 months ago
2008
Weak equivalences are important behavioral equivalences in the course of specifying and analyzing the reactive systems using process algebraic languages. In this paper, we propose...