241 search results - page 40 / 49 » Executing Verified Compiler Specification |
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
PERCOM
2007
ACM
14 years 7 months ago
2007
ACM
Sensor networks are one important building block towards the realisation of context-aware applications. Suitable communication protocols and middleware solutions are necessary to ...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
BERTINORO
2005
Springer
14 years 1 months ago
2005
Springer
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
ISADS
2003
IEEE
14 years 27 days ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...