Sciweavers

3362 search results - page 115 / 673
» A definition of subjective possibility
Sort
View
SIGMETRICS
2010
ACM
115views Hardware» more  SIGMETRICS 2010»
15 years 4 months ago
Fair greening for DSL broadband access
Given that broadband access networks are an integral part of the ICT infrastructure and that DSL is the most widely deployed broadband access technology, greening DSL has become i...
Paschalis Tsiaflakis, Yung Yi, Mung Chiang, Marc M...
SOSYM
2010
174views more  SOSYM 2010»
15 years 4 months ago
Automatic generation of basic behavior schemas from UML class diagrams
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
ACSD
2010
IEEE
197views Hardware» more  ACSD 2010»
15 years 4 months ago
Order-Independence of Vector-Based Transition Systems
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans...
ATVA
2010
Springer
93views Hardware» more  ATVA 2010»
15 years 4 months ago
A Specification Logic for Exceptions and Beyond
Exception handling is an important language feature for building more robust software programs. It is primarily concerned with capturing abnormal events, with the help of catch han...
Cristian Gherghina, Cristina David
ECSA
2010
Springer
15 years 4 months ago
Feature-Based Composition of Software Architectures
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
Carlos Andres Parra, Anthony Cleve, Xavier Blanc, ...