395 search results - page 35 / 79 » Towards the systematic use of interfaces in JAVA programming |
145
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
175
click to vote
SEAA
2008
IEEE
16 years 16 days ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
176
click to vote
INAP
2001
Springer
15 years 10 months ago
2001
Springer
Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load,...
157
click to vote
POS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The technique of hyper-programming allows program representations held in a persistent store to contain embedded links to persistent code and data. In 1994, Connor et al ...
181
click to vote
ENTCS
2008
15 years 6 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...