2878 search results - page 291 / 576 » Model Checking FTA |
135
Voted
SSIRI
2010
15 years 3 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
164
click to vote
SECON
2010
IEEE
15 years 2 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...
192
click to vote
WOA
2010
15 years 2 months ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
170
Voted
IEEEARES
2009
IEEE
15 years 2 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
180
click to vote
COMSIS
2010
15 years 2 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...