3185 search results - page 312 / 637 » Principles for modeling language design |
163
click to vote
FBT
1998
15 years 8 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
161
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
193
click to vote
DEXA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
169
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
Dictionary-based approaches to query translation have been widely used in Cross-Language Information Retrieval (CLIR) experiments. Using these approaches, translation has been not...
161
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...