Sciweavers

116 search results - page 11 / 24
» Introducing Scalileo: a Java based scaling framework
Sort
View
FORTE
2008
13 years 10 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
JOT
2007
73views more  JOT 2007»
13 years 8 months ago
The Saverbeans Screensaver and Initium RJS System Integration: Part 5
This paper describes the integration of our Java-based screensaver framework with our Initium Remote Job Submission (IRJS) grid computing middleware. Initium RJS is a Java Web Sta...
Douglas A. Lyon, Francisco Castellanos
TOOLS
1998
IEEE
14 years 25 days ago
Modeling Dynamic Component Interfaces
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
Franz Huber, Andreas Rausch, Bernhard Rumpe
CSMR
2007
IEEE
14 years 2 months ago
A Feature-Oriented Adaptive Component Model for Dynamic Evolution
Dynamic adaptation has been an essential requirement for more and more business systems. Some research works have focused on the structural or behavioral changes of adaptive progr...
Xin Peng, Yijian Wu, Wenyun Zhao
DSVIS
2005
Springer
14 years 2 months ago
Solving the Mapping Problem in User Interface Design by Seamless Integration in IdealXML
The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
Francisco Montero, Víctor López-Jaqu...