5630 search results - page 200 / 1126 » Computability in Specification |
175
click to vote
CONCUR
2009
Springer
15 years 2 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
139
Voted
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
The use of user specific virtual machines (VMs) in Grid and Cloud computing reduces the administration overhead associated with manually installing required software for every user...
132
click to vote
GCC
2003
Springer
15 years 10 months ago
2003
Springer
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...
128
click to vote
AIIDE
2008
15 years 7 months ago
2008
Cooperative behavior is a desired trait in many fields from computer games to robotics. Yet, achieving cooperative behavior is often difficult, as maintaining shared information a...
123
click to vote
ISSA
2008
15 years 6 months ago
2008
Malicious software is prevalent in many forms with the potential for many types of malware to be downloaded while browsing the Internet using an unprotected system. The potential ...