1418 search results - page 190 / 284 » The Dynamic Complexity of Formal Languages |
144
Voted
ICSE
2008
IEEE-ACM
16 years 5 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
179
Voted
JELIA
1994
Springer
15 years 9 months ago
1994
Springer
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
172
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
152
click to vote
SPRINGSIM
2007
15 years 6 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
132
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Software systems are complex and difficult to analyze. Reengineering is a complex activity that usually involves combining different techniques and tools. Moose is an reengineerin...