10159 search results - page 1925 / 2032 » System Design Validation Using Formal Models |
CBSE
2004
Springer
14 years 1 months ago
2004
Springer
A crucial issue in the design of Component-Based (CB) applications is the ability to early guarantee that the system under development will satisfy its Quality of Service requireme...
ANSS
2002
IEEE
14 years 1 months ago
2002
IEEE
The data traffic in wireless networks for the third generation (3G) mobile telecommunication systems should take into account a variety of services (voice, data, video) and envir...
ICDCS
2002
IEEE
14 years 1 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
WECWIS
2002
IEEE
14 years 1 months ago
2002
IEEE
In the web context, it is difficult to disentangle presentation from process logic, and sometimes even data is not separate from the presentation. Consequently, it becomes to de...