2813 search results - page 288 / 563 » Formalizing Architectural Connection |
156
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
220
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Planning techniques recorded a significant progress during recent years. However, many planning problems remain still hard even for modern planners. One of the most promising appro...
181
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
185
click to vote
CEEMAS
2007
Springer
16 years 25 days ago
2007
Springer
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...
177
click to vote
RR
2007
Springer
16 years 23 days ago
2007
Springer
Expressing rules in controlled natural language can bring us closer to the vision of the Semantic Web since rules can be written in the notation of the application domain and are u...