7124 search results - page 819 / 1425 » Programming Languages and Operating Systems |
181
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
169
click to vote
UC
2005
Springer
16 years 19 days ago
2005
Springer
In this paper we present WebPS, an open-source web-enabled simulator for P systems, and a P accelerator for parallelization of the existing sequential simulators. The simulator is ...
216
click to vote
SP
1999
IEEE
15 years 11 months ago
1999
IEEE
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
171
Voted
EAAI
2007
15 years 7 months ago
2007
In the paper an application of the interval fuzzy model (INFUMO) in fault detection for nonlinear systems with uncertain intervaltype parameters is presented. A confidence band f...
186
click to vote
ENGL
2007
15 years 7 months ago
2007
— Intelligent Agents have originated a lot of discussion about what they are, and how they are different from general programs. We describe in this paper a new paradigm for intel...