6201 search results - page 862 / 1241 » Implementation of Axiomatic Language |
190
Voted
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The specification, design and implementation of embedded systems demands new approaches which go beyond traditional hardware-based notations such as HDLs. The growing dominance of...
213
Voted
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
While SOAP/XML is perceived as the appropriate interoperability level for web-services, companies compete to provide workflow-based tools for web-service integration. This paper p...
171
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The high speed at which new businesses are developed can to a large extent be attributed to their ability to flexibly combine existing services into an integrated business platfor...
161
Voted
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...
177
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Design patterns are widely recognized as important software development methods. Their use as software understanding tools, though generally acknowledged has been scarcely explore...