9210 search results - page 1520 / 1842 » Analyzing Real-Time Systems |
132
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
100
click to vote
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we describe Automated Red Teaming (ART), a concept that uses Evolutionary Algorithm (EA), Parallel Computing and Simulation to complement the manual Red Teaming eff...
ICSOC
2007
Springer
15 years 7 months ago
2007
Springer
Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage ...
IWIC
2007
Springer
15 years 7 months ago
2007
Springer
We followed the work of an international research network that holds regular meetings in technology-enhanced environments. The team is geographically distributed and to support its...
101
click to vote
IWIC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper studies the patterns of cultural differences observed in pictogram interpretation. We conducted a 14-month online survey in the U.S. and Japan to ask the mean...