3843 search results - page 256 / 769 » System support for shared objects |
132
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
167
Voted
ISIM
2007
15 years 8 months ago
2007
We continue the investigation of P coloniesintroduced in [7], of abstract computing devices composed of independent agents, acting and evolving in a shared environment. We determin...
181
click to vote
GLOBE
2009
Springer
15 years 11 months ago
2009
Springer
P2P systems are increasingly used for efficient, scalable data sharing. Popular applications focus on massive file sharing. However, advanced applications such as online communiti...
183
click to vote
LREC
2008
15 years 8 months ago
2008
An ontological knowledge management system requires dynamic and encapsulating operation in order to share knowledge among communities. The key to success of knowledge sharing in t...
278
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Aggregation is among the core functionalities of OLAP systems. Frequently, such queries are issued in decision support systems to identify interesting groups of data. When more tha...