20126 search results - page 3263 / 4026 » Timed Transition Systems |
230
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
Over the last thirty years, the MIL-STD 1553B data bus has been used in many embedded systems, like aircrafts, ships, missiles and satellites. However, the increasing number and c...
238
click to vote
AIRWEB
2007
Springer
16 years 1 months ago
2007
Springer
This paper focuses on spam blog (splog) detection. Blogs are highly popular, new media social communication mechanisms. The presence of splogs degrades blog search results as well...
230
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
222
click to vote
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes recent work on a large-scale, interactive theater performance entitled Schwelle as a platform to pose critical questions around the conception, design and imp...
212
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This research screens the tuning parameters of a combinatorial optimization heuristic. Specifically, it presents a Design of Experiments (DOE) approach that uses a Fractional Fac...