1438 search results - page 109 / 288 » An Expressive Extension of TLC |
105
click to vote
IANDC
1998
15 years 14 days 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...
122
click to vote
CONCURRENCY
2008
15 years 11 days 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...
105
Voted
ICDE
2010
IEEE
14 years 11 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...
133
Voted
DLOG
2011
14 years 4 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...
89
Voted
C5
2008
IEEE
15 years 7 months 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...