7118 search results - page 741 / 1424 » Electrical and Computer Engineering |
183
click to vote
CSCWD
2006
Springer
15 years 11 months ago
2006
Springer
The process of collaborative engineering design is relatively complex, and often results in various conflicts due to multi-actors interactions. Therefore, a critical element of co...
195
click to vote
DSOM
2006
Springer
15 years 11 months ago
2006
Springer
This paper proposes an open, extensible control plane for a global event service, based on semantically rich messages. This is based on the novel application of control plane separ...
203
click to vote
EDO
2006
Springer
15 years 11 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
204
click to vote
ERSHOV
2006
Springer
15 years 11 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
199
click to vote
ACSC
2000
IEEE
15 years 11 months ago
2000
IEEE
A methodology is proposed for the formal development of software systems from a user's requirements specification in natural language into a complete implementation, proceedi...