4353 search results - page 716 / 871 » Expressiveness of Process Algebras |
CEFP
2005
Springer
15 years 3 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
76
Voted
DSOM
2005
Springer
15 years 3 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
71
Voted
ER
2005
Springer
15 years 3 months ago
2005
Springer
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
101
Voted
ERCIMDL
2005
Springer
15 years 3 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...