3653 search results - page 380 / 731 » On Recognizable Timed Languages |
168
click to vote
IFIP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper proposes a door access control system with mobile phones which allows off-line delegations of an access. A model of door access control with mobile phones is ...
186
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
189
click to vote
FDL
2005
IEEE
16 years 1 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
191
click to vote
AIED
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We built three different versions of an ITS on a letter pattern extrapolation task: in one version, students only receive color-coded feedback; in the second, they receiv...
202
click to vote
CP
2005
Springer
16 years 1 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...