Sciweavers

906 search results - page 140 / 182
» Chain Dominated Orders
Sort
View
MMB
2004
Springer
142views Communications» more  MMB 2004»
15 years 5 months ago
Trends and Developments in ICT Industry: New Challenges for Performance Analysts
In the next few years the landscape of the information and communications technology (ICT) industry will be subject to many changes. New and advanced ICT services will be brought ...
Robert D. van der Mei, Bart Gijsen
BIRTHDAY
2003
Springer
15 years 5 months ago
Towards a Brain Compatible Theory of Syntax Based on Local Testability
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
Stefano Crespi-Reghizzi, Valentino Braitenberg
IS4TH
2003
Springer
15 years 5 months ago
Area-Contact Haptic Simulation
This paper presents the haptic interaction method when the interaction occurs at several points simultaneously. In many virtual training systems that interact with a virtual object...
Sang-Youn Kim, Jinah Park, Dong-Soo Kwon
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
15 years 4 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
AIWORC
2000
IEEE
15 years 4 months ago
Building Flexible Mobile Applications for Next Generation Enterprises
In order to understand and gain practical insights into various aspects of Next Generation Enterprises, we are building a testbed for flexible mobile applications. We started with...
Karun Karunanithi, Khurram Haneef, Bruno Cordioli,...