4007 search results - page 573 / 802 » Automotive Software Integration |
181
click to vote
TASE
2007
IEEE
16 years 27 days ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
205
Voted
ICSEA
2007
IEEE
16 years 26 days ago
2007
IEEE
— With the mutual consent to use WSDL (Web Service Description Language) to describe web service interfaces and SOAP as the basic communication protocol, the cornerstone for web ...
164
click to vote
ADAEUROPE
2007
Springer
16 years 25 days ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
173
click to vote
AOSE
2007
Springer
16 years 25 days ago
2007
Springer
In this paper we propose viewing Virtual Worlds as open Multiagent Systems and propose the 3D Electronic Institutions methodology for their development. 3D Electronic Institutions ...
132
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
A MAS architecture consisting of service centers is proposed. Within each service center, a mediator coordinates service delivery by allocating individual tasks to corresponding t...