Sciweavers

24444 search results - page 4644 / 4889
» A Data Model for Data Integration
Sort
View
CORR
2002
Springer
101views Education» more  CORR 2002»
15 years 4 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
ETS
2000
IEEE
182views Hardware» more  ETS 2000»
15 years 4 months ago
Conferencing in communities of learners: examples from social history and science communication
A commonly encountered view of computer conferencing focuses on peer interaction, student empowerment and a shift in both teacher and student roles. This paper argues that this vi...
Ann C. Jones, Eileen Scanlon, Canan Tosunoglu Blak...
FUIN
2000
76views more  FUIN 2000»
15 years 4 months ago
A Foundation for Refining Concurrent Objects
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
Martin Büchi, Emil Sekerinski
132
Voted
DPD
2002
120views more  DPD 2002»
15 years 4 months ago
An Overview of Standards and Related Technology in Web Services
The Internet is revolutionizing business by providing an affordable and efficient way to link companies with their partners as well as customers. Nevertheless, there are problems t...
Aphrodite Tsalgatidou, Thomi Pilioura
ENTCS
2002
145views more  ENTCS 2002»
15 years 4 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
« Prev « First page 4644 / 4889 Last » Next »