241 search results - page 40 / 49 » Executing Verified Compiler Specification |
141
click to vote
SIGSOFT
2004
ACM
16 years 6 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...
135
click to vote
PERCOM
2007
ACM
16 years 5 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 ...
161
click to vote
ISORC
2005
IEEE
15 years 11 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...
169
click to vote
BERTINORO
2005
Springer
15 years 11 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...
191
click to vote
ISADS
2003
IEEE
15 years 10 months 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...