Sciweavers

488 search results - page 74 / 98
» Using Model Checking to Generate Tests from Requirements Spe...
Sort
View
MODELS
2007
Springer
15 years 9 months ago
Model Driven Development of Complex User Interface
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...
Xudong Lu, Jiancheng Wan
MC
2001
140views Computer Science» more  MC 2001»
15 years 4 months ago
Cooperative model production in systems design to support knowledge management
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...
Christoph Clases
130
Voted
CVPR
2004
IEEE
16 years 5 months ago
Multiple Bernoulli Relevance Models for Image and Video Annotation
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...
Shaolei Feng, Raghavan Manmatha, Victor Lavrenko
ICEGOV
2009
ACM
15 years 27 days ago
A web-based performance monitoring system for e-government services
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...
Simon Fong, Ho Si Meng
VLSISP
2008
132views more  VLSISP 2008»
15 years 3 months ago
Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications
Modern multimedia applications usually have real-time constraints and they are implemented using application-domain specific embedded processors. Dimensioning a system requires acc...
Stefan Valentin Gheorghita, Twan Basten, Henk Corp...