4397 search results - page 392 / 880 » Relational Algebra Operations |
164
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
ECIS
2004
15 years 7 months ago
2004
Recent advances in technical capabilities have facilitated an increase in the reach and range of the connectivity of Information and Communications Technologies (ICTs). It is prop...
142
click to vote
WSC
2004
15 years 7 months ago
2004
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...
165
click to vote
WSC
1996
15 years 7 months ago
1996
In this paper we discuss verification and validation of simulation models. The different approaches to deciding model validity are described, two different paradigms that relate v...
119
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
One way to choose a basis of a matroid at random is to choose an ordering of the ground set uniformly at random and then use the greedy algorithm to find a basis. We investigate t...