528 search results - page 10 / 106 » Construction of concrete verification models from C |
WWW
2009
ACM
14 years 10 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
EMSOFT
2010
Springer
13 years 7 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
ENGL
2007
13 years 9 months ago
2007
Nowadays, fly ash is a common ingredient of concrete and may constitute up to 50% by weight of the total binder material. Incorporation of fly ash in Portland-cement concrete is hi...
DALT
2010
Springer
13 years 4 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
BIRTHDAY
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...