2861 search results - page 546 / 573 » Modelling Adaptive Systems in ForSyDe |
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
LCTRTS
2009
Springer
14 years 4 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
ECAL
2007
Springer
14 years 4 months ago
2007
Springer
Language can be viewed as a complex adaptive system which is continuously shaped and reshaped by the actions of its users as they try to solve communicative problems. To maintain c...
TAICPART
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the key roles of any information system is to enforce the business rules and policies set by the owning organisation. As for any important functionality, it is necessary to...
SAFECOMP
2005
Springer
14 years 3 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...