6581 search results - page 1014 / 1317 » Formalizing Design Patterns |
192
click to vote
APWEB
2005
Springer
16 years 8 days ago
2005
Springer
Data management issues in mobile computing environments have got lots of concerns of relevant researchers. Among these research topics, data broadcast has been extensively investig...
166
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
185
click to vote
DFKI
2005
Springer
16 years 7 days ago
2005
Springer
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
181
click to vote
ESWS
2005
Springer
16 years 7 days ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
172
click to vote
HVC
2005
Springer
16 years 7 days ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...