3619 search results - page 280 / 724 » Humor modeling in the interface |
199
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
185
click to vote
UCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...
159
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
205
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...
146
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper we describe two geometrical models of meaning representation, the Semantic Atlas (SA) and the Automatic Contexonym Organizing Model (ACOM). The SA provides maps of m...