866 search results - page 116 / 174 » A Formal Investigation of |
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
CAISE
2007
Springer
15 years 6 months ago
2007
Springer
Introducing process-aware information systems (PAIS) in enterprises is usually associated with high costs. It is therefore crucial to understand those factors that determine these ...
ESWS
2007
Springer
15 years 6 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
OTM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
PPDP
2007
Springer
15 years 6 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...