Sunny Hill lives in Knoxville, Tennessee. Still on the dating scene, she uses the wisdom she has gained through her sometimes awkward, sometimes exhilarating experiences to coach friends on best dating practices. Sunny graduated from the University of Tennessee and practices accounting, although she is anything but a boring, pencil-pushing number-cruncher!
Recently, she was chatting with a prospect when he asked about her occupation. When she told him, he replied, "I guess you don't have any tattoos then, do you?" Sunny said with a laugh, "No, but don't judge a character by her title." If Sunny had a tattoo, it would simply read, "Plays with Fire."
Sunny and her clan of sisters-before-misters are career professionals and single parents who have learned how to live in a man's world, working smarter and harder to provide for their children and pursue their unapologetic professional dreams. Sunny also plays hard--whether through golfing, shopping, travel, and giving back to the community, or, through the trials and tribulations of the dating life. .
Sunny met Thomas, a surgeon from Raleigh, on eHarmony and they developed a virtual relationship over seven years. When the inevitable day finally arrived for them to meet, Sunny had already decided he was and would always be a player. Little did he know, he had a new coach. Sunny arrived at the restaurant ahead of him, with clean-shaven legs, smooth as glass and well moisturized. He walked in and they hugged and started talking as if they had kept this same routine for years. He was just as intriguing and charismatic in person as he was on the phone and in emails for so many years.
Being the perfect gentlemen, as expected, he offered her a chair at the bar and then sat facing her. But, as soon as he sat down, Sunny spun her chair around to face him, pinning his legs between hers and the bar. She then seductively crossed her bare knees, revealing just enough of her upper thighs below the hem of her black skirt to make a man nervous. He did not know what to do or where to put his hands. He was flustered. Let the games begin!
She wanted him to sweat, to want her, and to forever remember their first and only meeting.
Sunny was constantly finding herself in unusual situations as she meets men. She would share her hilarious stories with her girlfriends who would have tears running down their legs laughing at Sunny's encounters with her flavors of the week. From Ri'chard whom she met standing under the Eiffel Tower to the surgeon in Raleigh with whom she kept a virtual relationship for 7 years to Jay, her cougar catch 16 years younger--there was always a story that could only happen to Sunny. Regardless of how long she endured the wrong Mr. Right - whether 7 minutes or 7 years - the question begged: I Shaved My Legs for THIS?!
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.
After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common "ancestors"; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and "dual-language approaches" combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope.
The book is aimed at graduate students and researchers in computer science, while researchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.