2493 search results - page 220 / 499 » Tool Support for Design by Contract |
187
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Network applications are becoming increasingly popular in the embedded systems domain requiring high performance, which leads to high energy consumption. In networks is observed t...
158
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
Procurement for e-Government is an important part of activities which are similar to the nature of B2B. That is usually characterized by bulk volumes with complex variables, burea...
179
click to vote
OZCHI
2006
ACM
2006
ACM
Tangible tiles: design and evaluation of a tangible user interface in a collaborative tabletop setup
16 years 16 days ago
In this paper we describe a tangible user interface “Tangible Tiles”, which utilizes optically tracked transparent Plexiglass tiles for interaction and display of projected im...
172
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
172
click to vote
INCDM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Character design is a key ingredient to the success of any comicbook, graphic novel, or animated feature. Artists typically use shape, size and proportion as the first de...