1669 search results - page 224 / 334 » Structured Specification of Model Interpreters |
143
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
117
Voted
DEXAW
2004
IEEE
15 years 7 months ago
2004
IEEE
The preservation and representation of folklore collections is a basic priority for every country because they are valuable for studying the customs and the tradition of specific ...
143
click to vote
FORTE
2004
15 years 4 months ago
2004
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
117
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a hybrid body representation that represents each typical pose by both template-like view information and part-based structural information. Specifically, each body par...
185
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Some theoretical models used in IS research may lack explanatory power and consistency because of their failure to provide an adequate means of accounting for contextual and situa...