2556 search results - page 384 / 512 » The Triconnected Abstraction of Process Models |
172
click to vote
SIGCSE
2005
ACM
15 years 12 months ago
2005
ACM
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
165
click to vote
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
150
click to vote
ICWE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
152
click to vote
KIVS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The simulation of large-scale inter-domain networks is useful for various aspects of network planning and management. It is also a challenge due to its scalability proble...
162
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...