1707 search results - page 116 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
126
click to vote
EWC
2006
15 years 6 months ago
2006
We have developed a Ch Mechanism Toolkit for analysis and design of mechanisms. The toolkit was developed using Ch, an embeddable C/C++ interpreter with high-level extensions. The ...
156
click to vote
ECOOPW
1999
Springer
15 years 10 months ago
1999
Springer
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...
163
click to vote
SAFECOMP
2007
Springer
16 years 14 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
182
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Over the past decade, tremendous amount of research activity has focused around the problem of localization in GPS denied environments. Challenges with localization are highlighte...
153
click to vote
CASCON
2007
15 years 7 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...