4949 search results - page 681 / 990 » Consistency and Set Intersection |
178
click to vote
DSVIS
2005
Springer
16 years 6 days ago
2005
Springer
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
178
click to vote
ECSQARU
2005
Springer
16 years 6 days ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
200
click to vote
ESTIMEDIA
2005
Springer
16 years 6 days ago
2005
Springer
Portable embedded systems require diligence in managing their energy consumption. Thus, power efficient processors coupled with onchip memories (e.g. caches, scratchpads) are the...
157
click to vote
FSTTCS
2005
Springer
16 years 6 days ago
2005
Springer
Monitoring a distributed system to detect a stable property is an important problem with many applications. The problem is especially challenging for a dynamic distributed system b...
179
click to vote
GCC
2005
Springer
16 years 6 days ago
2005
Springer
Task Scheduling is a critical design issue of distributed computing. The emerging Grid computing infrastructure consists of heterogeneous resources in widely distributed autonomous...