172 search results - page 23 / 35 » Validating SDL Specifications: an Experiment |
ISCAS
1999
IEEE
13 years 12 months ago
1999
IEEE
In a companion paper of this session [1] we formally defined the notion of equivalence classes of circuits which are physical clones of an existing benchmark seed circuit created ...
GIS
2009
ACM
13 years 11 months ago
2009
ACM
A spatiotemporal network is a spatial network (e.g., road network) along with the corresponding time-dependent weight (e.g., travel time) for each edge of the network. The design ...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
The experience described in this paper is being developed in the framework of the PALETTE1 project by two teams of researchers involved in collecting information from some Communi...
SIMUTOOLS
2008
13 years 9 months ago
2008
In this paper, we present the design and the implementation of a novel scheme for the multicast transmission of data over Universal Mobile Telecommunications System (UMTS) network...