1073 search results - page 182 / 215 » Reasoning about Continuous Processes |
ECIS
2011
12 years 7 months ago
2011
1 Information technology (IT) has a tremendous impact on the discipline of accounting by introducing new ways of retrieving and processing information about performance deviations ...
AGENTS
1998
Springer
13 years 11 months ago
1998
Springer
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
ERLANG
2008
ACM
13 years 9 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
ESAW
2008
Springer
13 years 9 months ago
2008
Springer
A workflow involves the coordinated execution of multiple operations and can be used to capture business processes. Typical workflow management systems are centralised and rigid; t...