Sciweavers

3943 search results - page 228 / 789
» Architecture-Level Requirements Specification
Sort
View
CSL
2004
Springer
15 years 10 months ago
A Functional Scenario for Bytecode Verification of Resource Bounds
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
Roberto M. Amadio, Solange Coupet-Grimal, Silvano ...
ECTEL
2006
Springer
15 years 10 months ago
Satellite-Enabled Interactive Education: Scenarios and Systems Architectures
Abstract. There are specific sectors of the economy that can benefit from satellite-based tele-education. Areas, such as maritime and agriculture, share common needs for both broad...
Tacha Serif, Lampros K. Stergioulas, Gheorghita Gh...
ECTEL
2006
Springer
15 years 10 months ago
Multimedia Authoring for CoPs
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
Romain Deltour, Agnès Guerraz, Cécil...
BPM
2003
Springer
92views Business» more  BPM 2003»
15 years 10 months ago
Query Nets: Interacting Workflow Modules That Ensure Global Termination
Abstract. We address cross-organizational workflows, such as document workflows, which consist of multiple workflow modules each of which can interact with others by sending and re...
Rob J. van Glabbeek, David G. Stork
IFIP
2000
Springer
15 years 10 months ago
A New Approach to Software Integration Frameworks for Multi-physics Simulation Codes
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
Eric de Sturler, Jay Hoeflinger, Laxmikant V. Kal&...