1054 search results - page 63 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
137
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
152
click to vote
MIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper introduces a Generic Language for Interface DEvelopment (GLIDE) that supports the rapid prototyping of Graphical User Interfaces for the Agents Channeling Cont...
140
click to vote
JOT
2007
15 years 3 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
133
click to vote
KI
2009
Springer
15 years 10 months ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
147
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Users’ critiques to the current recommendation form a crucial feedback mechanism for refining their preference models and improving a system’s accuracy in recommendations that ...