4770 search results - page 157 / 954 » Flexible Type Analysis |
146
Voted
PPDP
2001
Springer
15 years 9 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
120
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Service granularity generally refers to the size of a service. The fact that services should be large-sized or coarse-grained is often postulated as a fundamental design principle ...
135
click to vote
CJ
2000
15 years 4 months ago
2000
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
134
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Numerous techniques exist which can be used for the task of behavioural analysis and recognition. Common amongst these are Bayesian networks and Hidden Markov Models. Although the...
151
Voted
LCN
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, we propose a new switching scheme to improve the short-term delay and the packet jitter for real-time traffic. Even though, the proposed scheme is general and ca...