774 search results - page 87 / 155 » Markov incremental constructions |
85
Voted
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
CAISE
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents an architecture of ontological components for the Semantic Web. Many methods and methodologies can be found in the literature. Generally, they are dedicated to ...
104
Voted
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
84
Voted
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
75
Voted
IFM
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...