Sciweavers

15253 search results - page 164 / 3051
» Integer-Programming Software Systems
Sort
View
CL
2008
Springer
15 years 5 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
ICPADS
2006
IEEE
15 years 11 months ago
The Node Monitoring Component of a Scalable Systems Software Environment
We describe Fountain, an implementation of the Scalable Systems Software node monitor specification targeted at aggregate node monitoring for clusters. Fountain is designed from ...
Sam Miller, Brett Bode
143
Voted
ADBIS
2005
Springer
170views Database» more  ADBIS 2005»
15 years 10 months ago
Architecture of Pattern Management Software System
Patterns and models are artifacts that are assets to their owners. Storing them in a repository and using common interfaces for their management simplifies their usage. This articl...
Erki Eessaar
POLICY
2005
Springer
15 years 10 months ago
Embedding Policy Rules for Software-Based Systems in a Requirements Context
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
Mark Strembeck
IPPS
2006
IEEE
15 years 11 months ago
An entropy-based algorithm for time-driven software instrumentation in parallel systems
While monitoring, instrumented long running parallel applications generate huge amount of instrumentation data. Processing and storing this data incurs overhead, and perturbs the ...
A. Ozmen