Sciweavers

1336 search results - page 107 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
148
Voted
DEBS
2009
ACM
15 years 7 months ago
MICS: an efficient content space representation model for publish/subscribe systems
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....
Hojjat Jafarpour, Sharad Mehrotra, Nalini Venkatas...
123
Voted
SMC
2007
IEEE
143views Control Systems» more  SMC 2007»
15 years 9 months ago
Enabling gestural interaction by means of tracking dynamical systems models and assistive feedback
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
Yon Visell, Jeremy R. Cooperstock
TII
2008
98views more  TII 2008»
15 years 3 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
143
Voted
EDOC
2009
IEEE
15 years 7 months ago
Enterprise Architecture Analysis for Data Accuracy Assessments
- Poor data in information systems impede the quality of decision-making in many modern organizations. Manual business process activities and application services are never execute...
Per Närman, Pontus Johnson, Mathias Ekstedt, ...
RAID
2007
Springer
15 years 9 months ago
Exploiting Execution Context for the Detection of Anomalous System Calls
Attacks against privileged applications can be detected by analyzing the stream of system calls issued during process execution. In the last few years, several approaches have been...
Darren Mutz, William K. Robertson, Giovanni Vigna,...