Sciweavers

5863 search results - page 759 / 1173
» On Model-Checking of P Systems
Sort
View
EDUTAINMENT
2006
Springer
15 years 10 months ago
Designing Social Navigation for a Virtual Community of Practice
Abstract. Social navigation in a community of practice (CoP) is an approach of locating information through increased social awareness. Designing support for social navigation requ...
Wen Xu, Karel Kreijns, Jun Hu
ESCIENCE
2006
IEEE
15 years 10 months ago
Grid-Based Data Stream Processing in e-Science
The field of e-science currently faces many challenges. Among the most important ones are the analysis of huge volumes of scientific data and the connection of various sciences an...
Richard Kuntschke, Tobias Scholl, Sebastian Huber,...
FOIKS
2006
Springer
15 years 10 months ago
Consistency Checking Algorithms for Restricted UML Class Diagrams
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
Ken Kaneiwa, Ken Satoh
WICON
2008
15 years 8 months ago
Seamless content delivery
Widespread and affordable broadband access opens up opportunities for delivery of new streaming services. However, what is expected to fundamentally change the way that people use...
Theodore Zahariadis, George Leoleis, Thomas Schier...
ICISC
2004
127views Cryptology» more  ICISC 2004»
15 years 8 months ago
Identity-Based Access Control for Ad Hoc Groups
Abstract. The proliferation of group-centric computing and communication motivates the need for mechanisms to provide group access control. Group access control includes mechanisms...
Nitesh Saxena, Gene Tsudik, Jeong Hyun Yi