4636 search results - page 485 / 928 » Modelling and Validation with VipTool |
195
click to vote
ECIS
2004
15 years 8 months ago
2004
Web sites are now considered an extension of the entire business, not just an additional channel or storefront or a simple information portal for the company. Creating an effectiv...
192
click to vote
ENTCS
2008
15 years 7 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
181
click to vote
AR
2006
15 years 7 months ago
2006
The development and expression of many higher level cognitive functions, such as imitation, spatial perception, and tool-use relies on a multi-modal representation of the body kno...
196
click to vote
JCP
2008
15 years 7 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
166
click to vote
IJBC
2007
15 years 7 months ago
2007
In 1873 Francis Galton had constructed a simple mechanical device where a ball is dropped vertically through a harrow of pins that deflect the ball sideways as it falls. Galton c...