2704 search results - page 77 / 541 » Constraint Management in Engineering of Complex Information ... |
130
click to vote
CLEIEJ
2006
15 years 1 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
120
click to vote
DEXAW
2006
IEEE
15 years 7 months ago
2006
IEEE
Internet should be used to reduce distances and bring people virtually closer. Using ICT, many people has overcome the problem of digital divided [1] thanks to support of informat...
APSEC
1999
IEEE
15 years 5 months ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
109
click to vote
FTCS
1998
15 years 2 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
134
click to vote
CISS
2007
IEEE
15 years 7 months ago
2007
IEEE
Limiting capabilities of practical recognition systems are determined by a variety of factors that include source encoding techniques, quality of images, complexity of underlying ...