Sciweavers

112 search results - page 11 / 23
» Consistency of the static and dynamic components of object-o...
Sort
View
ICTIR
2009
Springer
14 years 9 days ago
Optimizing WebPage Interest
Abstract. In the rapidly evolving and growing environment of the internet, web site owners aim to maximize interest for their web site. In this article we propose a model, which co...
Willem Elbers, Theo P. van der Weide
SOSYM
2010
174views more  SOSYM 2010»
13 years 6 months ago
Automatic generation of basic behavior schemas from UML class diagrams
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...
Manoli Albert, Jordi Cabot, Cristina Gómez,...
POPL
2005
ACM
14 years 8 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
14 years 2 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
JPDC
2008
132views more  JPDC 2008»
13 years 7 months ago
Assurance of dynamic adaptation in distributed systems
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...
Karun N. Biyani, Sandeep S. Kulkarni