Sciweavers

2629 search results - page 195 / 526
» complex 2009
Sort
View
155
Voted
ICOST
2009
Springer
15 years 10 months ago
Enhancing OSGi: Semantic Add-ins for Service Oriented Collaborative Environments
Service Oriented Architectures offer an incomparable setting for the management and reuse of services, mixing different factors like software and services. The ability to choose be...
Pablo Cabezas, Raúl Barrena, Jon Legarda, D...
ICTIR
2009
Springer
15 years 10 months ago
Modeling the Score Distributions of Relevant and Non-relevant Documents
Empirical modeling of the score distributions associated with retrieved documents is an essential task for many retrieval applications. In this work, we propose modeling the releva...
Evangelos Kanoulas, Virgiliu Pavlu, Keshi Dai, Jav...
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
15 years 10 months ago
Decomposition Structures for Event-B
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
Michael Butler
121
Voted
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 10 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
163
Voted
IH
2009
Springer
15 years 10 months ago
Hardware-Based Public-Key Cryptography with Public Physically Unclonable Functions
Abstract. A physically unclonable function (PUF) is a multiple-input, multipleoutput, large entropy physical system that is unreproducible due to its structural complexity. A publi...
Nathan Beckmann, Miodrag Potkonjak