Sciweavers

3432 search results - page 339 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
VL
2008
IEEE
115views Visual Languages» more  VL 2008»
16 years 1 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, ...
JNW
2008
139views more  JNW 2008»
15 years 6 months ago
Multicast and IP Multicast Support in Wireless Sensor Networks
- Multicast potentially optimises bandwidth consumption and node resources, when several users simultaneously participate in a communication session. Nevertheless, contrary to the ...
Jorge Sá Silva, Tiago Camilo, Pedro Pinto, ...
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
16 years 1 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
AAAI
1994
15 years 8 months ago
Model-Based Automated Generation of User Interfaces
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
Angel R. Puerta, Henrik Eriksson, John H. Gennari,...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund