237 search results - page 34 / 48 » A Process Algebra for Predictible Control Systems |
110
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
129
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
145
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
122
Voted
RECSYS
2009
ACM
15 years 10 months ago
2009
ACM
We propose FriendSensing, a framework that automatically suggests friends to mobile social-networking users. Using short-range technologies (e.g., Bluetooth) on her mobile phone, ...
139
click to vote
ICEBE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Service-oriented architecture (SOA) provides the flexibility of dynamically composing business processes in enterprise computing. However, they must be enhanced to support real...