4126 search results - page 411 / 826 » Relationships with other Formalisms |
203
click to vote
ECBS
2005
IEEE
16 years 15 days ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
156
click to vote
HICSS
2005
IEEE
16 years 15 days ago
2005
IEEE
In this paper, we consider existing approaches to ontology definition and validation. Popular techniques include the use of domain experts or reliance on formal logic. We consider...
182
click to vote
IAT
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper discusses a general architecture for intelligent software agents. It can be used to construct agents that engage in high-level reasoning by employing standard reasoning...
194
click to vote
SEFM
2005
IEEE
16 years 14 days ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
174
click to vote
WIOPT
2005
IEEE
16 years 14 days ago
2005
IEEE
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...