Sciweavers

3799 search results - page 563 / 760
» An Engineering Approach to Formal Methods
Sort
View
GLOBECOM
2007
IEEE
16 years 26 days ago
The Scalability and Performance of Common Vector Solution to Generalized Label Continuity Constraint in Hybrid Optical/Packet Ne
—In hybrid Optical/packet networks, wavelength and VLAN tag continuity along a Label Switched Path are two common constraints. These two types of constraints, referred to as Gene...
Shujia Gong, Bijan Jabbari
ISORC
2006
IEEE
16 years 17 days ago
Interaction-Based Behavior Modeling of Embedded Software using UML 2.0
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae
IDEAS
2005
IEEE
109views Database» more  IDEAS 2005»
16 years 4 days ago
Efficient Relational Joins with Arithmetic Constraints on Multiple Attributes
We introduce and study a new class of queries that we refer to as ACMA (arithmetic constraints on multiple attributes) queries. Such combinatorial queries require the simultaneous...
Chuang Liu, Lingyun Yang, Ian T. Foster
CIKM
2005
Springer
16 years 2 days ago
Structure-based query-specific document summarization
Summarization of text documents is increasingly important with the amount of data available on the Internet. The large majority of current approaches view documents as linear sequ...
Ramakrishna Varadarajan, Vagelis Hristidis
IWPSE
2003
IEEE
15 years 11 months ago
Experiences with Software Product Family Evolution
The evolution of product family typically oscillates between growing and consolidating phases. The migration path starts from a copy/paste approach that offers the fastest time-to...
Claudio Riva, Christian Del Rosso