1438 search results - page 109 / 288 » An Expressive Extension of TLC |
176
click to vote
IANDC
1998
15 years 6 months ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
188
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...
171
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...
230
click to vote
DLOG
2011
14 years 10 months ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
152
click to vote
C5
2008
IEEE
16 years 29 days ago
2008
IEEE
End-user scripting languages are relatively easy to learn, but have limited expressive power. Tile-based scripting systems are particularly accessible to beginners, but usually ar...