1925 search results - page 199 / 385 » Dynamic Typing |
CC
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
POLICY
2009
Springer
14 years 4 months ago
2009
Springer
Abstract—Zodiac (Zero Outage Dynamic Intrinsically Assurable Communities) is an implementation of a high-security MANET, resistant to multiple types of attacks, including Byzanti...
CIMCA
2006
IEEE
14 years 3 months ago
2006
IEEE
This work is dedicated to position control of redundant robots, realized with the help of the sensibility theory. The control method allows controlling the robot position followin...
IPPS
2002
IEEE
14 years 2 months ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
CSE
2009
IEEE
14 years 1 months ago
2009
IEEE
Broadening adoption of social media applications within the enterprise offers a new and valuable data source for insight into the social structure of organizations. Social media ap...