3239 search results - page 484 / 648 » A Logical Process Calculus |
129
click to vote
KESAMSTA
2007
Springer
15 years 9 months ago
2007
Springer
Queueing Theory deals with problems where some restricted resource should be shared between competitive flow of requests. In this paper we use Queueing Theory methods to perform a...
139
click to vote
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
111
click to vote
MDM
2007
Springer
15 years 9 months ago
2007
Springer
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
142
click to vote
MICAI
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a fault diagnosis system (FDS) for non-linear plants based on fuzzy logic. The proposed scheme, named VisualBlock-FIR, runs under the Simulink framework and en...
125
Voted
PADL
2007
Springer
15 years 9 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...