2969 search results - page 296 / 594 » The Case for User-Centered CASE Tools |
203
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
147
click to vote
WACV
2008
IEEE
16 years 1 months ago
2008
IEEE
Automating tools for geo-locating and geo-orienting static cameras is a key step in creating a useful global imaging network from cameras attached to the Internet. We present algo...
187
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
Web Service (WS) technology represents a fundamental shift in the way web applications are developed for e-business. It is becoming the next paradigm to deploy business services o...
176
Voted
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
174
click to vote
DIGITEL
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a collaborative game-based creativity support system, Idea Storming Cube, in support of creative thinking. It aims to make people form a creative and perspect...