1737 search results - page 212 / 348 » On Interpolation in Existence Logics |
154
click to vote
TES
2005
Springer
15 years 12 months ago
2005
Springer
Service-oriented Computing (SoC) in general, and e-service orchestrations in particular have the potential to increase reuse and to ease maintainability. Typically, interoperating ...
184
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
202
click to vote
ACNS
2004
Springer
15 years 11 months ago
2004
Springer
We present a practical protection mechanism against SQL injection attacks. Such attacks target databases that are accessible through a web frontend, and take advantage of flaws in...
181
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
174
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
This paper deals with modeling mental states of a rational agent, in particular states based on agent’s desires. It shows that the world the agent belongs to forces it to restri...