661 search results - page 55 / 133 » Concurrency, objects and visualisation |
143
click to vote
IFM
2000
Springer
15 years 9 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
192
click to vote
DBSEC
1996
15 years 7 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
132
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Robot workcell programming is an application where object-oriented programming paradigms can be effectively applied to handle the issues such as concurrency and autonomy. In this ...
148
click to vote
ICCCN
2007
IEEE
16 years 9 days ago
2007
IEEE
— A method to detect moving objects on non-stationary background is proposed. The concurrent motions of foreground and background pixels make it extremely difficult to maintain a...
187
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...