672 search results - page 100 / 135 » On the Expressive Power of the Loop Language |
100
click to vote
LICS
2010
IEEE
15 years 12 days ago
2010
IEEE
We consider formulas which, in addition to the symbols in the vocabulary, may use two designated symbols ≺ and + that must be interpreted as a linear order and its associated ad...
135
click to vote
DSS
2002
15 years 1 months ago
2002
Recent research has sought to develop formal languages for business communication as more expressive, flexible and powerful alternatives to current electronic data interchange (ED...
145
click to vote
ICIW
2008
IEEE
15 years 8 months ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
118
click to vote
ECOOP
2004
Springer
15 years 7 months ago
2004
Springer
Programmers have come to expect better integration between databases and the programming languages they use. While this trend continues unabated, database concurrency scheduling ha...
117
click to vote
MPC
2004
Springer
15 years 7 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...