3154 search results - page 201 / 631 » An annotation based approach to support design communication |
175
click to vote
APLAS
2004
ACM
16 years 10 hour ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
161
click to vote
LREC
2010
15 years 8 months ago
2010
We present the problem of categorizing web services according to a shallow ontology for presentation on a specialist portal, using their WSDL and associated textual documents foun...
178
click to vote
FATES
2004
Springer
15 years 12 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
174
click to vote
ITICSE
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present a new learning environment to be used in an introductory programming course for students that are non-majors in computer science, more precisely for multi...
182
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a low-power design methodology for a bus architecture based on hybrid current/voltage mode signaling for deep sub-micrometer on-chip interconnects that achiev...