36320 search results - page 7084 / 7264 » From Code to Models |
171
click to vote
P2P
2006
IEEE
15 years 10 months ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
123
click to vote
RTSS
2006
IEEE
15 years 10 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
139
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
158
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
159
click to vote
CF
2006
ACM
15 years 10 months ago
2006
ACM
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...