3045 search results - page 576 / 609 » Formal Approaches to Software Architecture |
161
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
-- The Distributed Agents For Autonomy (DAFA) study has been performed for ESA/ESTEC by SciSys UK Ltd, VEGA, and Politecnico di Milano in 2008-2009. The aim of DAFA study has been ...
167
click to vote
REALWSN
2010
15 years 3 months ago
2010
Over the last years Wireless Sensor Networks (WSN) have been becoming increasingly applicable for real world scenarios and now production ready solutions are available. In the same...
206
click to vote
EXACT
2009
15 years 3 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
205
click to vote
COMSIS
2010
15 years 3 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...
215
click to vote
ISCA
2012
IEEE
13 years 8 months ago
2012
IEEE
There have been many attacks that exploit side-effects of program execution to expose secret information and many proposed countermeasures to protect against these attacks. Howeve...