7681 search results - page 1410 / 1537 » Typed Membrane Systems |
FC
2004
Springer
15 years 9 months ago
2004
Springer
We describe the design and implementation of secure and robust protocol and system for a national electronic lottery. Electronic lotteries at a national level are a viable cost eļ¬...
164
Voted
NMR
2004
Springer
15 years 9 months ago
2004
Springer
A logic is deļ¬ned which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ā...
159
click to vote
SAB
2004
Springer
15 years 9 months ago
2004
Springer
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
151
click to vote
ACSC
2003
IEEE
15 years 9 months ago
2003
IEEE
As the Internet and enterprise wide distributed systems become more prevalent in business IT systems, numerous advanced COTS (commercial off-the-shelf) middleware technologies hav...
147
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Webās distributed nature mak...