2102 search results - page 234 / 421 » A Relational Model for Object-Oriented Designs |
160
click to vote
PODC
2003
ACM
15 years 11 months ago
2003
ACM
We consider the model of unreliable network links, where at each time unit a link might be either up or down. We consider two related problems. The first, establishing end to end...
150
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
: CMOS circuits have significant amounts of dynamic short-circuit (or through) current. This can be as large as 20% of the total in well-designed circuits, and up to 80% of the tot...
168
click to vote
ECIS
2004
15 years 8 months ago
2004
This article analyzes the impact of a computer simulation (business game) on the users' perceived learning. The theoretical model developed in this paper is derived from the ...
168
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
185
click to vote
VSTTE
2005
Springer
16 years 4 hour ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...