1634 search results - page 158 / 327 » Classifying Technical Terms |
ADBIS
1998
Springer
14 years 2 months ago
1998
Springer
For the last many years, workflow management (WFM) has been the focus of intense activity in terms of products, standards and research work worldwide. WFM integrates concepts from ...
FOSSACS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We propose a denotational semantics for the two-level language of [GJ91, Gom92], and prove its correctness w.r.t. a standard denotational semantics. Other researchers (se...
ICSE
1998
IEEE-ACM
14 years 2 months ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
AGENTS
1997
Springer
14 years 2 months ago
1997
Springer
This paper presents a domain-independent architecture for facilitating visual problem solving between robots or softbots and humans. The architecture de nes virtual and human agen...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...