262 search results - page 12 / 53 » State Space Reduction Techniques for Component Interfaces |
112
click to vote
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
GPCE
2008
Springer
15 years 25 days ago
2008
Springer
A user interface, such as a dialog, assists a user in synthesising a set of values, typically parameters for a command object. Code for “command parameter synthesis” is usuall...
113
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...
PKDD
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Principal component analysis (PCA) and its dual—principal coordinate analysis (PCO)—are widely applied to unsupervised dimensionality reduction. In this paper, we sho...
101
click to vote
ENTCS
2006
14 years 11 months ago
2006
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...