246 search results - page 47 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
IWCMC
2006
ACM
14 years 1 months ago
2006
ACM
Designing and planning of the switching, signaling and support network is a fairly complex process in cellular mobile network. In this paper, the problem of assigning cells to swi...
COMCOM
2004
13 years 7 months ago
2004
The contemporary high-speed networks, e.g. the Internet and asynchronous transfer mode (ATM) networks provide a convenient and cost-effective communication platform to carry the e...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
ROBOCUP
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. Arvand is the name of robots specially designed and constructed by sharif CE team for playing soccer according to RoboCup rules and regulations for the middle size robots...
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
13 years 9 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...