9067 search results - page 294 / 1814 » Adaptive Model Checking |
155
click to vote
CAISE
2010
Springer
15 years 7 months ago
2010
Springer
For enterprises it has become crucial to check compliance of their business processes with certain rules such as medical guidelines or financial regulations. When automating compli...
164
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—We present a set of modeling constructs accompanied by a high performance simulation kernel for accuracy adaptive transaction level models. In contrast to traditional, ï...
195
click to vote
HT
2004
ACM
16 years 2 days ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
205
click to vote
OHS
2001
Springer
15 years 11 months ago
2001
Springer
In today’s adaptive hypermedia systems, adaptivity is provided based on accumulative data gained from observing the user. User modelling, the capturing of information about the ...
209
click to vote
ASPLOS
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...