443 search results - page 50 / 89 » Relations in Concurrency |
324
click to vote
ICUIMC
2011
ACM
14 years 9 months 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...
148
click to vote
ICFP
2008
ACM
16 years 6 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 ...
127
click to vote
BIRTHDAY
2009
Springer
16 years 23 days 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...
176
click to vote
RE
2009
Springer
16 years 15 days 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...
137
click to vote
ICALP
2007
Springer
16 years 3 days 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 ...