453 search results - page 30 / 91 » From restrictive to prescriptive design |
ECOOP
2007
Springer
15 years 3 months ago
2007
Springer
Like other software artefacts, metamodels evolve over time. We propose a transformational approach to assist metamodel evolution by stepwise adaptation. In the first part of the p...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
NSPW
2004
ACM
15 years 3 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
ROBOCUP
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...
NETWORK
2008
14 years 9 months ago
2008
Today, network address translators, or NATs, are everywhere. Their ubiquitous adoption was not promoted by design or planning but by the continued growth of the Internet, which pl...