6581 search results - page 225 / 1317 » Formalizing Design Patterns |
114
click to vote
AGENTS
1999
Springer
15 years 8 months ago
1999
Springer
This paper surveys the current state of the art in agentoriented software engineering, focusing on the area of coordinated multi-agent systems. In multi-agent systems, the interac...
143
Voted
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
129
Voted
TIP
2011
14 years 10 months ago
2011
—A color filter array (CFA) used in a digital camera is a mosaic of spectrally selective filters, which allows only one color component to be sensed at each pixel. The missing ...
119
Voted
CGI
2004
IEEE
15 years 7 months ago
2004
IEEE
An Origamic Architecture (OA) is a folded sheet of perforated paper from which a three-dimensional structure "pops up" when it is opened. It is similar to a "pop-up...
147
Voted
DSONLINE
2008
15 years 3 months ago
2008
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...