Sciweavers

1413 search results - page 91 / 283
» Bisimilarity of Open Terms
Sort
View
ICAS
2009
IEEE
141views Robotics» more  ICAS 2009»
16 years 29 days ago
An Enhanced IMS Architecture Featuring Cross-Layer Monitoring and Adaptation Mechanisms
IP Multimedia Subsystem (IMS) entails novel business opportunities for pioneering and emerging multimedia services, such as IPTV and VoIP video call applications. However, this st...
Lemonia Boula, Harilaos Koumaras, Anastasios Kourt...
ICST
2009
IEEE
16 years 26 days ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
CIKM
2009
Springer
16 years 24 days ago
Leveraging a scalable row store to build a distributed text index
Many content-oriented applications require a scalable text index. Building such an index is challenging. In addition to the logic of inserting and searching documents, developers ...
Ning Li, Jun Rao, Eugene J. Shekita, Sandeep Tata
GECCO
2009
Springer
157views Optimization» more  GECCO 2009»
16 years 23 days ago
Multi material topological optimization of structures and mechanisms
Multi-material 3D-printing technologies permit the freeform fabrication of complex spatial arrangements of materials in arbitrary geometries. This technology has opened the door t...
Jonathan D. Hiller, Hod Lipson
PRIMA
2009
Springer
16 years 23 days ago
A Multiagent Model for Provider-Centered Trust in Composite Web Services
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...
Julien Bourdon, Laurent Vercouter, Toru Ishida