4520 search results - page 552 / 904 » Algebraic Techniques for Timed Systems |
209
click to vote
ICDCS
2003
IEEE
16 years 4 days ago
2003
IEEE
Current intrusion detection systems work in isolation from access control for the application the systems aim to protect. The lack of coordination and inter-operation between thes...
218
click to vote
IEEEINTERACT
2003
IEEE
16 years 3 days ago
2003
IEEE
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
208
click to vote
ERLANG
2003
ACM
16 years 3 days ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
166
click to vote
PAAMS
2009
Springer
15 years 11 months ago
2009
Springer
Interconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been trying to address this kind of env...
142
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...