443 search results - page 50 / 89 » Relations in Concurrency |
ICUIMC
2011
ACM
13 years 10 days ago
2011
ACM
Physical layer capture in WLANs makes a receiver to decode a relatively strong packet in a collision. According to recent works, an augmented physical layer capture handles interf...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
We investigated the relative merits of C++ and Erlang in the implementation of a parallel acoustic ray tracing algorithm for the U.S. Navy. We found a much smaller learning curve ...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
RE
2009
Springer
14 years 3 months ago
2009
Springer
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modell...
ICALP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...