1746 search results - page 275 / 350 » On the expressiveness of interaction |
152
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
157
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...
150
click to vote
TGC
2005
Springer
15 years 11 months ago
2005
Springer
Programmers write programs, expressing plans for machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. P...
154
click to vote
TSD
2005
Springer
15 years 11 months ago
2005
Springer
As language is fundamental to human activities, proficiency in other languages becomes important. Besides for developing abilities for communication, the knowledge is also a tool f...
152
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...