11017 search results - page 1873 / 2204 » Closure Systems and their Structure |
206
click to vote
DFG
2003
Springer
16 years 24 days ago
2003
Springer
Due to the fast growth of internet based electronic business activities, languages for modeling as well as methods for analyzing and executing distributed business processes are be...
195
Voted
ECAL
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. We present a variant of the snapshot model [1] for insect visual homing. In this model a snapshot image is taken by an agent at the goal position. The disparity between c...
220
click to vote
ER
2003
Springer
16 years 24 days ago
2003
Springer
XML is a widespread W3C standard used by several kinds of applications for data representation and exchange over the web. In the context of a system that provides semantic integrat...
198
click to vote
ESAW
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. Design patterns already proved successful in lowering the development time and number of errors of object-oriented software; now, they are, candidate to play a similar ro...
178
click to vote
FOSSACS
2003
Springer
16 years 24 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....