12981 search results - page 2596 / 2597 » Model Checking and Abstraction |
BIBE
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. Currently, the method most used for gene detection calls on Affymetrix oligonucleotide arrays is provided as part of the MAS5.0 software. The MAS method uses Wilcoxon sta...
CANS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we study Perfectly Secure Message Transmission (PSMT) between a sender S and a receiver R, connected in a directed synchronous network through multiple para...
KIVS
2005
Springer
14 years 26 days ago
2005
Springer
Abstract: SOAP wurde als leichtgewichtiges Protokoll zum Austausch von strukturierten Informationen in einer verteilten Umgebung konzipiert und bildet so die Basis der ” Web Serv...
LPNMR
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
MOBIS
2003
13 years 8 months ago
2003
Abstract: Das Semantische Objektmodell (SOM) ist ein von Ferstl und Sinz vor über 10 Jahren vorgestellter umfassender Ansatz, der explizit auf die Modellierung betrieblicher Infor...