2027 search results - page 234 / 406 » Process Support for Tools Interoperability |
144
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
We describe a visual interactive framework that supports the computation of syntactic unifiers of expressions with variables. Unification is specified via built-in transformatio...
203
click to vote
FMCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
120
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Regulations are a wide-spread and important part of governmentand business. Theycodify howproducts must be madeand processes should be performed. Suchregulations can be difficult ...
145
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
Implementing an Online Shop can be a risky project, since there's no widespread and profound knowledge and experiences. This guideline is intended to support managing the org...
175
click to vote
COST
1997
Springer
15 years 10 months ago
1997
Springer
: Automated processes in distributed communication environments require tools for unifying heterogeneous multimedia services. The Teleservice Descriptor is introduced for generic h...