7820 search results - page 178 / 1564 » Formalization of Time and Space |
210
Voted
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
184
click to vote
ICDT
2005
ACM
16 years 18 days ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...
221
click to vote
CBSE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
195
Voted
PUC
2002
15 years 6 months ago
2002
One difficulty for interface design on mobile computers is lack of screen space caused by their small size. This paper describes a small pilot study and two formal experiments tha...
208
click to vote
HCI
2009
15 years 4 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...