Sciweavers

1419 search results - page 243 / 284
» Using Managed Communication Channels in Software Components
Sort
View
131
Voted
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 8 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
151
Voted
OGAI
1991
15 years 6 months ago
Knowledge-Based Generation of Illustrated Documents
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
Wolfgang Wahlster, Elisabeth André, Som Ban...
123
Voted
WSC
2008
15 years 4 months ago
Application of spatial visualization for probabilistic hurricanes risk assessment to build environment
Hurricanes have caused extensive economic losses and social disruption in the past two decades in the United States. A key component for improving building and infrastructure prac...
Yue Li, Tyler A. Erickson
GPCE
2009
Springer
15 years 7 months ago
A generative programming approach to developing pervasive computing systems
Developing pervasive computing applications is a difficult task because it requires to deal with a wide range of issues: heterogeneous devices, entity distribution, entity coordi...
Damien Cassou, Benjamin Bertran, Nicolas Loriant, ...
146
Voted
RTSS
2006
IEEE
15 years 8 months ago
Run-Time Services for Hybrid CPU/FPGA Systems on Chip
Modern FPGA devices, which include (multiple) processor core(s) as diffused IP on the silicon die, provide an excellent platform for developing custom multiprocessor systems-on-pr...
Jason Agron, Wesley Peck, Erik Anderson, David L. ...