Sciweavers

1278 search results - page 167 / 256
» Using ORM to Model Web Systems
Sort
View
CSFW
2002
IEEE
15 years 11 months ago
Probabilistic Analysis of Anonymity
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
Vitaly Shmatikov
WSC
2007
15 years 8 months ago
A model for contact center analysis and simulation
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
Juan M. Huerta
CORR
2004
Springer
128views Education» more  CORR 2004»
15 years 6 months ago
Unsupervised Topic Adaptation for Lecture Speech Retrieval
We are developing a cross-media information retrieval system, in which users can view specific segments of lecture videos by submitting text queries. To produce a text index, the ...
Atsushi Fujii, Katunobu Itou, Tomoyosi Akiba, Tets...
COMPSAC
2008
IEEE
16 years 20 days ago
Ontology Model-Based Static Analysis on Java Programs
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang
SIGSOFT
2010
ACM
15 years 4 months ago
Realizability analysis for message-based interactions using shared-state projections
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
Sylvain Hallé, Tevfik Bultan