3799 search results - page 563 / 760 » An Engineering Approach to Formal Methods |
184
click to vote
GLOBECOM
2007
IEEE
16 years 26 days ago
2007
IEEE
—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...
158
click to vote
ISORC
2006
IEEE
16 years 17 days ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
162
click to vote
IDEAS
2005
IEEE
16 years 4 days ago
2005
IEEE
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...
154
click to vote
CIKM
2005
Springer
16 years 2 days ago
2005
Springer
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...
182
click to vote
IWPSE
2003
IEEE
15 years 11 months ago
2003
IEEE
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...