Sciweavers

3024 search results - page 323 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
SIGCOMM
2010
ACM
15 years 6 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
EUROSYS
2007
ACM
16 years 3 months ago
Container-based operating system virtualization: a scalable, high-performance alternative to hypervisors
Hypervisors, popularized by Xen and VMware, are quickly becoming commodity. They are appropriate for many usage scenarios, but there are scenarios that require system virtualizatio...
Stephen Soltesz, Herbert Pötzl, Marc E. Fiucz...
LCTRTS
2009
Springer
16 years 1 months ago
Debugging FPGA-based packet processing systems through transaction-level communication-centric monitoring
The fine-grained parallelism inherent in FPGAs has encouraged their use in packet processing systems. Debugging and performance evaluation of such complex designs can be signifi...
Paul Edward McKechnie, Michaela Blott, Wim Vanderb...
ICAS
2006
IEEE
128views Robotics» more  ICAS 2006»
16 years 18 days ago
The AML Approach to Modeling Autonomic Systems
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
Radovan Cervenka, Dominic A. P. Greenwood, Ivan Tr...
JAIR
2008
130views more  JAIR 2008»
15 years 6 months ago
Axiomatic Foundations for Ranking Systems
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
Alon Altman, Moshe Tennenholtz