2243 search results - page 136 / 449 » Contracts for Mobile Processes |
132
Voted
JSS
2002
15 years 3 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
123
click to vote
GROUP
2009
ACM
15 years 10 months ago
2009
ACM
Recent technological advances foster the spreading of social software in the mobile domain. Hence, future usage patterns of mobile devices will involve more group interaction. Whi...
120
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
– Mobile robots operating in home environments must deal with constrained space and a great variety of obstacles and situations to handle. This article presents a pilot study aim...
143
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
125
click to vote
MA
2001
Springer
15 years 8 months ago
2001
Springer
Mobile agent security is still a young discipline and most naturally, the focus up to the time of writing was on inventing new cryptographic protocols for securing various aspects ...