13752 search results - page 2446 / 2751 » Parallel and Distributed Haskells |
154
click to vote
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—This paper proposes a framework for a virtual classroom application based on a Virtual Collaboration System (VCS), which is being developed under the VISNET II Network of Excell...
132
click to vote
COLCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—Constraints allow users to declare relationships among objects and let the constraint systems maintain and satisfy these relationships. Formulas have been adopted to express con...
166
click to vote
DEBS
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes an approach to detect unknown event patterns. In this context, an event is not only something that happens, but also something that can be analysed. This task...
162
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
144
click to vote
COORDINATION
2008
Springer
15 years 6 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...