8838 search results - page 1717 / 1768 » Generalizing Domain Theory |
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
WIDM
2003
ACM
14 years 2 months ago
2003
ACM
A growing number of databases especially those published on the Web are becoming available to external users. Users of these databases are provided simple form-based query interfa...
WMASH
2003
ACM
14 years 2 months ago
2003
ACM
We propose a new network layer mobility architecture called MOBILENAT to efficiently support micro and macro-mobility in and across heterogeneous address spaces common in emergin...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
In this paper, we introduce a toolkit called SceneMaker for authoring scenes for adaptive, interactive performances. These performances are based on automatically generated and pr...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
Coalition formation methods allow agents to join together and are thus necessary in cases where tasks can only be performed cooperatively by groups. This is the case in the Reques...