3346 search results - page 561 / 670 » A Generic Rendering System |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
ER
2005
Springer
14 years 2 months ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
ERCIMDL
2005
Springer
14 years 2 months ago
2005
Springer
The Alexandria Digital Library (ADL) project has been working on automating the processes of building ADL collections and gathering the collection statistics on which ADL’s disco...
ESAW
2005
Springer
14 years 2 months ago
2005
Springer
Recently there is an increased interest in social agency and in designing and building organizations of agents. In this paper we view an organization as an interrelated set of grou...