Sciweavers

5243 search results - page 111 / 1049
» Reasoning About Strategies
Sort
View
ICSE
2010
IEEE-ACM
15 years 4 months ago
Synthesized essence: what game jams teach about prototyping of new software products
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...
Juergen Musil, Angelika Schweda, Dietmar Winkler, ...
INFOCOM
2011
IEEE
14 years 9 months ago
There's something about MRAI: Timing diversity can exponentially worsen BGP convergence
—To better support interactive applications, individual network operators are decreasing the timers that affect BGP convergence, leading to greater diversity in the timer setting...
Alex Fabrikant, Umar Syed, Jennifer Rexford
EUC
2005
Springer
15 years 12 months ago
A Unified Context Model: Bringing Probabilistic Models to Context Ontology
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
Binh An Truong, Young-Koo Lee, Sungyoung Lee
ICLP
2010
Springer
15 years 10 months ago
Cutting-Edge Timing Analysis Techniques
This text gives an overview about my current research in timing analysis
Jakob Zwirchmayr
ECIS
2001
15 years 7 months ago
Why information systems plans do not get implemented: A case study of a UK hospital
The progression of implementation of an information systems strategy in a UK acute hospital is described. The case study describes the IS strategy, the conditions that led to its ...
Neil McBride, Ray Hackney