Sciweavers

760 search results - page 69 / 152
» Modeling the Functionality of Multi-Functional Software Syst...
Sort
View
AINA
2007
IEEE
16 years 13 days ago
Towards Device-Blending: Model and Challenges
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
Harinder Seera, Seng Wai Loke, Torab Torabi
JTRES
2010
ACM
15 years 6 months ago
The design of SafeJML, a specification language for SCJ with support for WCET specification
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
Ghaith Haddad, Faraz Hussain, Gary T. Leavens
CCGRID
2006
IEEE
16 years 4 days ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
BIB
2007
82views more  BIB 2007»
15 years 6 months ago
High-throughput modeling and analysis of protein structural dynamics
Protein function is a dynamic property closely related to the conformational mechanisms of protein structure in its physiological environment. To understand and control the functi...
Xiong Liu, Hassan A. Karimi
WICSA
2007
15 years 7 months ago
A Comparison of Static Architecture Compliance Checking Approaches
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
Jens Knodel, Daniel Popescu