Sciweavers

12670 search results - page 2111 / 2534
» Requirements Modeling
Sort
View
BTW
2003
Springer
110views Database» more  BTW 2003»
16 years 19 hour ago
The IOP Approach to Enterprise Frameworks
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
Udo Nink, Stefan Schäfer
CAISE
2003
Springer
16 years 18 hour ago
Information Dissemination based on Semantic Relations
In a selective information dissemination (SDI) system, users submit profiles consisting of a number of long-standing queries to represent their information needs. The system then c...
Irini-Electra Katzagiannaki, Dimitris Plexousakis
CBSQ
2003
Springer
16 years 18 hour ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
CCS
2003
ACM
16 years 18 hour ago
k-anonymous message transmission
Informally, a communication protocol is sender k - anonymous if it can guarantee that an adversary, trying to determine the sender of a particular message, can only narrow down it...
Luis von Ahn, Andrew Bortz, Nicholas J. Hopper
EGH
2003
Springer
16 years 12 hour ago
Simulation of cloud dynamics on graphics hardware
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
Mark J. Harris, William V. Baxter, Thorsten Scheue...
« Prev « First page 2111 / 2534 Last » Next »