1922 search results - page 273 / 385 » ie 2007 |
154
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
171
click to vote
BIRTHDAY
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
185
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Relational database systems are highly efficient hosts to table-shaped data. It is all the more interesting to see how a careful inspection of both, the XML tree structure as wel...
165
click to vote
CANDC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present a qualitative case study of group creativity online in the domain of mathematics. We define creative work broadly, ranging from the micro-level coconstru...
141
click to vote
CEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Calibrating the parameters of an evolutionary algorithm (EA) is a laborious task. The highly stochastic nature of an EA typically leads to a high variance of the measurements. The ...