599 search results - page 48 / 120 » Interpreting the Object Constraint Language |
107
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
FMOODS
2000
15 years 1 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
104
click to vote
ECOOP
2003
Springer
15 years 5 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...
150
click to vote
PEPM
2011
ACM
14 years 2 months ago
2011
ACM
The performance of many dynamic language implementations suffers from high allocation rates and runtime type checks. This makes dynamic languages less applicable to purely algorit...
114
click to vote
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Since most current scene understanding approaches operate
either on the 2D image or using a surface-based representation, they do
not allow reasoning about the physical constrain...