2005 search results - page 360 / 401 » Business Process Knowledge Modelling: Method and Tool |
ICALT
2006
IEEE
15 years 3 months ago
2006
IEEE
Assessment is one of the more established areas of e-learning. However, it cannot be described as mature due to the disparate nature of the tools and standards available. As part ...
DAC
1999
ACM
15 years 2 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
IDEAS
1997
IEEE
15 years 1 months ago
1997
IEEE
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...
CLEIEJ
2004
14 years 9 months ago
2004
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...