Sciweavers

783 search results - page 45 / 157
» The TextPro Tool Suite
Sort
View
AINA
2003
IEEE
14 years 1 months ago
JWeb II Navigation Engine: An HDM Multi Device Interpreter
Electronic multimedia publishing is increasingly becoming a major industrial activity, and the design of web applications and hypermedia applications in general needs to become a ...
Nicola Fiore, Leonardo Mangia, Roberto Paiano
DEBS
2003
ACM
14 years 1 months ago
A case study on event dissemination in an active overlay network environment
In this paper, we describe a case study of the design and development of a group-conferencing tool suite, built on top of an overlay network based event dissemination framework, w...
Sérgio Duarte, José Legatheaux Marti...
FM
2003
Springer
88views Formal Methods» more  FM 2003»
14 years 1 months ago
A Semantic Foundation for TCOZ in Unifying Theories of Programming
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
SIGMOD
2010
ACM
240views Database» more  SIGMOD 2010»
14 years 1 months ago
OpenII: an open source information integration toolkit
OpenII (openintegration.org) is a collaborative effort to create a suite of open-source tools for information integration (II). The project is leveraging the latest developments i...
Len Seligman, Peter Mork, Alon Y. Halevy, Ken Smit...
ECBS
2000
IEEE
115views Hardware» more  ECBS 2000»
14 years 21 days ago
Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling
Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit