8503 search results - page 1320 / 1701 » Secure Software Architectures |
141
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
132
Voted
MABS
2004
Springer
15 years 9 months ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
147
Voted
SEMWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Magpie is a suite of tools supporting a ‘zero-cost’ approach to semantic web browsing: it avoids the need for manual annotation by automatically associating an ontolo...
122
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The planning and subsequent nationwide implementation of E-government service provisioning faces a number of challenges at the level of municipalities in the Netherlands. Initiati...
131
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Percolation has recently been proposed as a key component of an advanced program execution model for future generation high-end machines featuring adaptive data/code transformatio...