6054 search results - page 813 / 1211 » Implementation of Andorra-based Languages |
179
click to vote
APSEC
2005
IEEE
16 years 12 days ago
2005
IEEE
Several kinds of call-ordering problems have been identified, all of which present subtle difficulties in ensuring the correctness of a sequential program. They include object pro...
182
click to vote
COMPSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services...
183
click to vote
EEE
2005
IEEE
16 years 12 days ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
162
click to vote
FDL
2005
IEEE
16 years 12 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
165
click to vote
FDL
2005
IEEE
16 years 12 days ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...