2373 search results - page 191 / 475 » The Design of the Zinc Modelling Language |
150
click to vote
ICALT
2006
IEEE
16 years 17 days ago
2006
IEEE
The scenarization of educational activities, especially those that are going to take place within elearning platforms, has for a number of years represented a major challenge for ...
144
click to vote
WCRE
1996
IEEE
15 years 10 months ago
1996
IEEE
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
160
click to vote
FBT
1998
15 years 7 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...
154
click to vote
ICLP
2003
Springer
15 years 11 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...
185
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 ...