49 search results - page 7 / 10 » Pure bigraphs: Structure and dynamics |
143
Voted
CGF
2000
14 years 11 months ago
2000
In order to populate virtual cities, it is necessary to specify the behaviour of dynamic entities such as pedestrians or car drivers. Since a complete mental model based on vision...
106
Voted
ICPP
2005
IEEE
15 years 5 months ago
2005
IEEE
Structured P2P overlay networks based on a consistent hashing function have an aftermath load balance problem that needs to be dealt with. A load balancing method should take into...
95
Voted
DAC
1999
ACM
16 years 19 days ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
CHI
2006
ACM
16 years 1 days ago
2006
ACM
icians or philosophers use abstract symbols to derive formulas or form proofs. Indeed, these sketches are structural geometric proofs, consistent with Plato's supposition that...
111
click to vote
ICDE
2010
IEEE
15 years 11 months ago
2010
IEEE
A large fraction of an XML document typically consists of text data. The XPath query language allows text search via the equal, contains, and starts-with predicates. Such predicate...