1040 search results - page 51 / 208 » Controlling Aspect Reentrancy |
DSN
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
AH
2000
Springer
15 years 3 months ago
2000
Springer
A hypermedia application offers its users a lot of freedom to navigate through a large hyperspace, described by a domain model. Adaptive hypermedia systems (AHS) aim at overcoming ...
JOLLI
2002
14 years 10 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
103
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
Business Process Management (BPM) technology has become an important instrument for improving process performance. When considering its use, however, enterprises typically have to...
112
click to vote
JWSR
2008
14 years 9 months ago
2008
Organizations are increasingly faced with the challenge of managing business processes, workflows, and recently, Web processes. One important aspect of business processes that has...