4666 search results - page 386 / 934 » Equations on Timed Languages |
161
click to vote
ER
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
182
click to vote
APL
2000
ACM
15 years 11 months ago
2000
ACM
Although classical object-oriented programming languages provide high-level modeling capacities t data type, inheritance etc.), they remain low-level when it comes to data manipul...
157
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
165
click to vote
PLDI
1990
ACM
15 years 11 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
172
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
Several aspect languages and frameworks have recognized the need for dynamic deployment of aspects. However, they do not provide sufficiently expressive means to precisely specify...