10159 search results - page 317 / 2032 » System Design Validation Using Formal Models |
122
Voted
ICEBE
2005
IEEE
15 years 9 months ago
2005
IEEE
Recently a new model agent-based e-commerce system was proposed, in which rule-based mechanism representation was combined with lightweight modular mobile agent design. Furthermor...
128
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—The P2P pull-push hybrid architecture has achieved great success in delivering live video traffic over the Internet. However, a formal study on the sub-stream scheduling proble...
149
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
137
Voted
ACSC
2000
IEEE
15 years 7 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...
134
Voted
CIMCA
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes the research and development of a methodology to identify the type of information required by the service advisor (CSA) within customer contact centre (CCC) e...