3814 search results - page 512 / 763 » Extensible Information Brokers |
186
click to vote
CHES
2005
Springer
16 years 23 days ago
2005
Springer
We extend the model of Karlof and Wagner for modelling side channel attacks via Input Driven Hidden Markov Models (IDHMM) to the case where not every state corresponds to a single ...
205
click to vote
CIKM
2005
Springer
16 years 23 days ago
2005
Springer
The method of assigning labels to the nodes of the XML tree is called a labeling scheme. Based on the labels only, both ordered and un-ordered queries can be processed without acc...
186
click to vote
DSVIS
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
188
click to vote
ECMDAFA
2005
Springer
16 years 23 days ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
183
click to vote
EMISA
2005
Springer
16 years 23 days ago
2005
Springer
: Business process modeling and design, as an essential part of business process management, has gained much attention in recent years. An important tool for this purpose is refere...