983 search results - page 30 / 197 » Object-oriented Abstractions for Distributed Programming |
109
click to vote
SEKE
2001
Springer
15 years 6 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
109
click to vote
WCRE
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
123
click to vote
IEE
2002
15 years 1 months ago
2002
Abstract. This paper describes an approach to providing object persistence in object-oriented programming languages without modifying the run-time system or the language itself. By...
101
click to vote
ENTCS
2006
15 years 1 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
117
click to vote
ICAC
2005
IEEE
15 years 7 months ago
2005
IEEE
Track 2 - Modeling and Abstraction of Services Process Session Chair: Dynamic Service Invocation Control in Service Composition Environments (SCC2010-2004) ...........................