5377 search results - page 1007 / 1076 » Programming Languages For Interactive Computing |
134
click to vote
AOSE
2001
Springer
15 years 7 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
FMCAD
1998
Springer
15 years 6 months ago
1998
Springer
Executable formal speci cation can allow engineers to test (or simulate) the speci ed system on concrete data before the system is implemented. This is beginning to gain acceptance...
121
click to vote
ICDT
1997
ACM
15 years 6 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
127
click to vote
SIGMOD
1996
ACM
15 years 6 months ago
1996
ACM
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...
193
click to vote
ICTL
1994
15 years 6 months ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...