Sciweavers

893 search results - page 101 / 179
» Modeling reactive systems in Java
Sort
View
ICOST
2007
Springer
15 years 10 months ago
Characterizing Safety of Integrated Services in Home Network System
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken...
IEAAIE
2001
Springer
15 years 9 months ago
A New Approach in Object-Based Knowledge Representation: The AROM System
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
Michel Page, Jérôme Gensel, Cé...
FOAL
2009
ACM
15 years 11 months ago
A type system for functional traversal-based aspects
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
Bryan Chadwick, Karl J. Lieberherr
ECBS
2007
IEEE
97views Hardware» more  ECBS 2007»
15 years 10 months ago
A Service-Oriented Extension of the V-Modell XT
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
Michael Meisinger, Ingolf Krüger
ICWS
2003
IEEE
15 years 5 months ago
Constructing Web Services out of Generic Component Compositions
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
Johann Oberleitner, Schahram Dustdar