Real propertyIn English common law, real property, real estate, immovable property or, solely in the US and Canada, realty, is land which is the property of some person and all structures (also called improvements or fixtures) integrated with or affixed to the land, including crops, buildings, machinery, wells, dams, ponds, mines, canals, roads, and other things. The term is historic, arising from the now-discontinued form of action, which distinguished between real property disputes and personal property disputes.
Actor modelThe actor model in computer science is a mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation. In response to a message it receives, an actor can: make local decisions, create more actors, send more messages, and determine how to respond to the next message received. Actors may modify their own private state, but can only affect each other indirectly through messaging (removing the need for lock-based synchronization). The actor model originated in 1973.
Social workSocial work (SW) is an academic discipline and practice-based profession concerned with meeting the basic needs of individuals, families, groups, communities, and society as a whole to enhance their individual and collective well-being. Social work practice draws from areas, such as psychology, sociology, health, political science, community development, law, and economics to engage with systems and policies, conduct assessments, develop interventions, and enhance social functioning and responsibility.
Smurf attackA Smurf attack is a distributed denial-of-service attack in which large numbers of Internet Control Message Protocol (ICMP) packets with the intended victim's spoofed source IP are broadcast to a computer network using an IP broadcast address. Most devices on a network will, by default, respond to this by sending a reply to the source IP address. If the number of machines on the network that receive and respond to these packets is very large, the victim's computer will be flooded with traffic.
Clinical social workClinical social work is a specialty within the broader profession of social work. The American Board of Clinical Social Work (ABCSW) defines clinical social work as "a healthcare profession based on theories and methods of prevention and treatment in providing mental-health/healthcare services, with special focus on behavioral and bio-psychosocial problems and disorders". The National Association of Social Workers defines clinical social work as "a specialty practice area of social work which focuses on the assessment, diagnosis, treatment, and prevention of mental illness, emotional, and other behavioral disturbances.
Runtime verificationRuntime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Some very particular properties, such as datarace and deadlock freedom, are typically desired to be satisfied by all systems and may be best implemented algorithmically. Other properties can be more conveniently captured as formal specifications.
