3653 search results - page 367 / 731 » On Recognizable Timed Languages |
140
Voted
UM
2007
Springer
16 years 26 days ago
2007
Springer
There has been increasing interest in using games for education, but little investigation of how to model student learning within games [cf. 6]. We investigate how existing techniq...
166
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
183
click to vote
VALUETOOLS
2006
ACM
16 years 22 days ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
179
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
198
click to vote
DSVIS
2005
Springer
16 years 9 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...