Sciweavers

4636 search results - page 709 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
KIVS
2009
Springer
15 years 5 months ago
Query Processing and System-Level Support for Runtime-Adaptive Sensor Networks
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...
Falko Dressler, Rüdiger Kapitza, Michael Daum...
VL
2008
IEEE
115views Visual Languages» more  VL 2008»
15 years 5 months ago
Flexible visualization of automatic simulation based on structured graph transformation
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
Enrico Biermann, Claudia Ermel, Jonas Hurrelmann, ...
FM
2006
Springer
126views Formal Methods» more  FM 2006»
15 years 2 months ago
Towards Modularized Verification of Distributed Time-Triggered Systems
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
Jewgenij Botaschanjan, Alexander Gruler, Alexander...
ECIS
2001
15 years 19 days ago
Dynamic Recommendations in Internet Retailing
With current projections regarding the growth of Internet sales, online retailing raises many questions about how to market on the Net. While convenience impels consumers to purch...
George Prassas, Katherine C. Pramataris, Olga Papa...
NETWORKING
2000
15 years 18 days ago
A Scheme for Time-Dependent Resource Reservation in QoS-Enabled IP Networks
A number of distributed applications require communication services with Quality of Service (QoS) guarantees. The QoS provisioning issue in the Internet has been addressed by the I...
Roberto Canonico, Simon Pietro Romano, Mauro Selli...