3271 search results - page 155 / 655 » Controlled Multicast Framework |
115
click to vote
CRIWG
1998
15 years 5 months ago
1998
This paper presents an objects-based framework for building collaborative applications. The framework consists of ten objects: box, boxObject, environment, user, role, session, br...
149
click to vote
FOSSACS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
140
click to vote
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
We present the design of a new web application framework for collaborative learning. The framework guides users (i.e. teachers) in implementing online activities based on well-know...
139
click to vote
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Typical embedded systems must perform rather complex control and communication tasks with severely restricted computing resources. Due to these contraints most systems are sing...
160
click to vote
FROCOS
2005
Springer
15 years 10 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...