10038 search results - page 1636 / 2008 » Model Checking for Managers |
218
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract— In several contexts, the success of Workflow applications is limited by the excess of rigidity of workflow enactment, which leaves no freedom to end-users to “custo...
197
click to vote
DBSEC
2011
14 years 10 months ago
2011
Online social networks (OSNs) have experienced tremendous growth in recent years and become a de facto portal for hundreds of millions of Internet users. These OSNs offer attractiv...
207
click to vote
SIGUCCS
2003
ACM
15 years 12 months ago
2003
ACM
Legacy network file services such as NFS, SMB/CIFS, and AFP changed the way we worked. File services running on crossplatform networks allowed us to save our files on remote syste...
168
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
This paper addresses several key issues in the ArnetMiner system, which aims at extracting and mining academic social networks. Specifically, the system focuses on: 1) Extracting ...
184
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
We present a class of richly structured, undirected hidden variable models suitable for simultaneously modeling text along with other attributes encoded in different modalities. O...