9425 search results - page 159 / 1885 » Some Notes on Models and Modelling |
DAC
2007
ACM
15 years 2 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
WWW
2002
ACM
15 years 10 months ago
2002
ACM
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
100
click to vote
CSMR
2007
IEEE
15 years 4 months ago
2007
IEEE
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
BPM
2008
Springer
15 years 2 days ago
2008
Springer
Abstract. The use of subprocesses in large process models is an important step in modeling practice to handle complexity. While there are several advantages attributed to such a mo...
110
click to vote
ERSHOV
2006
Springer
15 years 20 hour ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...