2556 search results - page 454 / 512 » The Triconnected Abstraction of Process Models |
214
click to vote
FASE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
176
click to vote
ICWE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
163
click to vote
ICWL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In many circumstances, including e-learning, there is a need to reorganize digital resources, scattered in many places, into a coherently accessible repository. This pape...
179
click to vote
IDEAL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
214
click to vote
JELIA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...