443 search results - page 8 / 89 » A System Development Process with Event-B and the Rodin Plat... |
WCAE
2006
ACM
14 years 20 days ago
2006
ACM
At Northeastern University we are building a number of courses upon a common embedded systems platform. The goal is to reduce the learning curve associated with new architectures ...
MODELS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...
ANSS
2006
IEEE
14 years 23 days ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
NDSS
2000
IEEE
13 years 10 months ago
2000
IEEE
Several new approaches for detecting malicious attacks on computer systems and/or confining untrusted or malicious applications have emerged over the past several years. These tec...
FDL
2004
IEEE
13 years 10 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...