2493 search results - page 43 / 499 » Tool Support for Design by Contract |
CHI
1995
ACM
15 years 1 months ago
1995
ACM
Our approach views data-graphic design as two complementary processes: design as a constructive process of selecting and arranging graphical elements, and design as a process of b...
ASYNC
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper presents a decomposition method for speedindependent circuit design that is capable of significantly reducing the cost of synthesis. In particular, this method synthesi...
111
click to vote
IMC
2003
ACM
15 years 3 months ago
2003
ACM
Available bandwidth estimation is useful for route selection in overlay networks, QoS verification, and traffic engineering. Recent years have seen a surge in interest in availab...
100
click to vote
INTERNET
2007
14 years 9 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
CSCWD
2009
Springer
15 years 2 months ago
2009
Springer
It seems that actual software tools utilizing Computer-Mediated Communication mechanisms -like messaging or chat systems- do not help young students to learn good grammar skills. ...