2874 search results - page 335 / 575 » Intrusion Detection: Systems and Models |
191
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
168
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
We outline a procedure called communicative and material functions analysis that can be used to derive business modeling concepts. It is rooted in the language-action perspective o...
203
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Lip segmentation is an essential stage in many multimedia systems such as videoconferencing, lip reading, or low bit rate coding communication systems. In this paper, we propose a...
184
click to vote
PRESENCE
2006
15 years 6 months ago
2006
We present a physically-based approach to grasping and manipulation of virtual objects that produces visually realistic results, addresses the problem of visual interpenetration o...
169
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...