3444 search results - page 129 / 689 » A Theory of Object-Oriented Design |
166
click to vote
ECRTS
2006
IEEE
16 years 3 days ago
2006
IEEE
In this article we provide a model for the dynamic behavior of media processing chains of tasks communicating via bounded buffers. The aim is to find the overall behavior of a cha...
168
click to vote
ECOOP
2003
Springer
15 years 11 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
149
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Selectively canceling signals at specific locations within an acoustical environment with multiple listeners is of significant importance for home theater, teleconferencing, of...
155
click to vote
ICCV
1998
IEEE
15 years 10 months ago
1998
IEEE
Conventional video cameras have limited elds of view which make them restrictive for certain applications in computational vision. A catadioptric sensor uses a combination of lens...
172
click to vote
FAABS
2000
Springer
15 years 9 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...