10996 search results - page 447 / 2200 » Future Directions in Computing |
187
click to vote
APN
2004
Springer
16 years 7 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
148
click to vote
CIARP
2004
Springer
16 years 7 days ago
2004
Springer
In this paper we describe a heuristic approach to the problem of identifying a pattern embedded within a figure from a predefined set of patterns via the utilization of a genetic a...
190
click to vote
EUSAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. With the emerging mass production of very small, cheap Radio Frequency Identification (RFID) tags, it is becoming feasible to deploy such tags on a large scale. In this ...
213
Voted
EUSAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We report research into concepts and technology for enabling endusers to configure Ambient Intelligent environments. In this paper we focus on the feasibility and accepta...
165
click to vote
FATES
2004
Springer
16 years 7 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...