6581 search results - page 258 / 1317 » Formalizing Design Patterns |
156
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
149
click to vote
ICRA
2009
IEEE
15 years 1 months ago
2009
IEEE
We aim at merging technologies from information technology, roomware, and robotics in order to design adaptive and intelligent furniture. This paper presents design principles for ...
133
click to vote
FDL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
130
click to vote
FMCO
2003
Springer
15 years 9 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
130
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...