1403 search results - page 211 / 281 » Quantitative Interprocedural Analysis |
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
Gatekeeping/Information Control is exercised frequently and daily in virtual communities. Gatekeeping exists in four different levels: Regulators, service providers, communitiesâ€...
IAT
2006
IEEE
14 years 3 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
One of the main promises of aspect-oriented programming (AOP) is to promote improved modularization of crosscutting concerns, thereby enhancing the software stability in the prese...
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...