1318 search results - page 43 / 264 » The formal semantics of the timeER model |
109
Voted
RR
2010
Springer
15 years 7 days ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
117
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The explicit management of Quality of Service (QoS) of network connectivity, such as, e.g., working cost, transaction support, and security, is a key requirement for the ...
109
click to vote
ASIAN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
135
Voted
APLAS
2011
ACM
14 years 1 months ago
2011
ACM
Modern multi-core microprocessors implement weak memory consistency models; programming for these architectures is a challenge. This paper solves a problem open for ten years, and ...
137
click to vote
ERSA
2009
14 years 11 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...