488 search results - page 74 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
142
click to vote
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
191
click to vote
MC
2001
15 years 4 months ago
2001
The computer support of cooperation and knowledge production across socially distributed activity systems has become an important topic in the context of the discourse on ,,knowle...
130
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Retrieving images in response to textual queries requires some knowledge of the semantics of the picture. Here, we show how we can do both automatic image annotation and retrieval...
150
click to vote
ICEGOV
2009
ACM
15 years 27 days ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
149
click to vote
VLSISP
2008
15 years 3 months ago
2008
Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires acc...