4385 search results - page 463 / 877 » Abstraction for Concurrent Objects |
180
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
190
click to vote
TCS
2002
15 years 6 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
161
click to vote
TMM
2002
15 years 6 months ago
2002
Abstract--Some recent publications have proposed methodologies to assess the performance of multimedia services in introducing subjective estimate of the end-to-end quality of vari...
194
click to vote
TROB
2002
15 years 6 months ago
2002
Abstract--With the services that autonomous robots are to provide becoming more demanding, the states that the robots have to estimate become more complex. In this article, we deve...
153
click to vote
TROB
2008
15 years 6 months ago
2008
Abstract--This paper presents a relational positioning methodology that allows to restrict totally or partially the movements of an object by specifying its allowed positions in te...