5128 search results - page 401 / 1026 » When Abstraction Fails |
264
click to vote
SIGADA
2001
Springer
16 years 4 days ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...
190
click to vote
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
214
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
229
click to vote
ELECTRONICMARKETS
1998
15 years 7 months ago
1998
AbstractAbstractAbstractAbstract This paper discusses the development of remote bidding electronic fish auctions. The first electronic fish auctions were introduced in Belgium and ...
265
click to vote
JCST
2010
15 years 2 months ago
2010
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...