4385 search results - page 126 / 877 » Abstraction for Concurrent Objects |
LPAR
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
69
Voted
WOTUG
2007
15 years 9 days ago
2007
The LEGO Mindstorms RCX is a widely deployed educational robotics platform. This paper presents a concurrent operating environment for the Mindstorms RCX, implemented natively usin...
70
Voted
ENTCS
2007
14 years 11 months ago
2007
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
86
Voted
IJSTM
2000
14 years 11 months ago
2000
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...
171
click to vote
Publication
Location-aware environments are characterized by a large number of objects and a large number of continuous queries. Both the objects and continuous queries may change their locati...