4666 search results - page 599 / 934 » Equations on Timed Languages |
210
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
193
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
177
click to vote
AGTIVE
2003
Springer
16 years 2 days ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
172
click to vote
AGTIVE
2003
Springer
16 years 2 days ago
2003
Springer
Discontinuous constituent are a frequent problem in natural language analyses. A constituent is called discontinuous if it is interrupted by other constituents. In German they can ...
230
click to vote
PROPOR
2010
Springer
15 years 12 months ago
2010
Springer
An acoustic analysis was conducted to investigate parameters related to Voice Quality in European Portuguese (EP) speech conveying several emotions. Our main objectives were: to o...