Sciweavers

13140 search results - page 2461 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
SERA
2010
Springer
15 years 4 months ago
Process Patterns for MDA-Based Software Development
—Information systems are expected to satisfy increasingly ambitious requirements, while reducing time–to–market has become a primary objective. This trend has necessitated th...
Mohsen Asadi, Naeem Esfahani, Raman Ramsin
SIAMSC
2010
121views more  SIAMSC 2010»
15 years 4 months ago
Extrapolated Implicit-Explicit Time Stepping
This paper constructs extrapolated implicit-explicit time stepping methods that allow one to efficiently solve problems with both stiff and nonstiff components. The proposed meth...
Emil M. Constantinescu, Adrian Sandu
TASLP
2010
103views more  TASLP 2010»
15 years 4 months ago
Percussion Synthesis Based on Models of Nonlinear Shell Vibration
—The synthesis of sound based on physical models of 2-D percussion instruments is problematic and has been approached only infrequently in the literature. Beyond the computationa...
Stefan Bilbao
TCS
2010
15 years 4 months ago
Arrows for secure information flow
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
Peng Li, Steve Zdancewic
TKDE
2010
150views more  TKDE 2010»
15 years 4 months ago
Prospective Infectious Disease Outbreak Detection Using Markov Switching Models
—Accurate and timely detection of infectious disease outbreaks provides valuable information which can enable public health officials to respond to major public health threats in...
Hsin-Min Lu, Daniel Zeng, Hsinchun Chen
« Prev « First page 2461 / 2628 Last » Next »