4985 search results - page 491 / 997 » Observation of String-Rewriting Systems |
172
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The influences of OS and system-specific effects on application performance are increasingly important in high performance computing. In this regard, OS kernel measuremen...
175
click to vote
ICSE
1995
IEEE-ACM
15 years 10 months ago
1995
IEEE-ACM
— Reverse engineering of large legacy software systems generally cannot meet its objectives because it cannot be cost-effective. There are two main reasons for this. First, it is...
189
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Detecting emerging problems in information and manufacturing systems is the goal of monitoring tools. Good and timely detection of problematic conditions from measured indicators ...
156
click to vote
USS
2008
15 years 9 months ago
2008
The abuse of chat services by automated programs, known as chat bots, poses a serious threat to Internet users. Chat bots target popular chat networks to distribute spam and malwa...
174
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...