3653 search results - page 380 / 731 » On Recognizable Timed Languages |
151
click to vote
IFIP
2007
Springer
16 years 27 days 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 ...
166
click to vote
MODELS
2007
Springer
16 years 27 days 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-...
171
click to vote
FDL
2005
IEEE
16 years 11 days 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...
167
click to vote
AIED
2005
Springer
16 years 9 days 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...
169
click to vote
CP
2005
Springer
16 years 9 days 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...