Sciweavers

3555 search results - page 306 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
RTAS
2009
IEEE
16 years 1 months ago
Lightweight Modeling of Complex State Dependencies in Stream Processing Systems
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
Anne Bouillard, Linh T. X. Phan, Samarjit Chakrabo...
GECCO
2008
Springer
179views Optimization» more  GECCO 2008»
15 years 7 months ago
Emergent architecture in self organized swarm systems for military applications
Many sectors of the military are interested in Self-Organized (SO) systems because of their flexibility, versatility and economics. The military is researching and employing auto...
Dustin J. Nowak, Gary B. Lamont, Gilbert L. Peters...
ISPW
2005
IEEE
16 years 6 days ago
A Value-Based Process for Achieving Software Dependability
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
LiGuo Huang
INFOCOM
2009
IEEE
16 years 1 months ago
apt-p2p: A Peer-to-Peer Distribution System for Software Package Releases and Updates
—The Internet has become a cost-effective vehicle for software development and release, particular in the free software community. Given the free nature of this software, there a...
Cameron Dale, Jiangchuan Liu
WWW
2007
ACM
16 years 7 months ago
SPath: a path language for XML schema
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...
Erik Wilde, Felix Michel