1418 search results - page 102 / 284 » The Dynamic Complexity of Formal Languages |
201
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
158
click to vote
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
165
click to vote
AGTIVE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
139
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
This paper defines PolyAML, a typed functional, aspect-oriented programming language. The main contribution of PolyAML is the seamless integration of polymorphism, run-time type a...
122
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...