4635 search results - page 435 / 927 » Modeling Design Knowledge on Structure |
158
click to vote
IFM
2009
Springer
16 years 23 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
173
click to vote
IFM
2007
Springer
16 years 10 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
156
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
210
click to vote
FLAIRS
2008
15 years 8 months ago
2008
Hidden Markov models are a powerful technique to model and classify temporal sequences, such as in speech and gesture recognition. However, defining these models is still an art: ...
178
click to vote
WEA
2009
Springer
15 years 10 months ago
2009
Springer
Flash memory-based solid-state disks are fast becoming the dominant form of end-user storage devices, partly even replacing the traditional hard-disks. Existing two-level memory hi...