1525 search results - page 120 / 305 » Formal Models for Communication-Based Design |
IFM
2007
Springer
14 years 2 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
FMOODS
2007
13 years 9 months ago
2007
Dynamic Meta Modeling (DMM) is a universal approach to defining semantics for languages syntactically grounded on meta models. DMM has been designed with the aim of getting highly...
IJIS
2002
13 years 7 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
The paper presents a contribution to image indexing consisting in a weighting model for visible objects – or image objects – in home photographs. To improve its effectiveness ...