Sciweavers

1912 search results - page 133 / 383
» XML Technologies and Software Engineering
Sort
View
CAISE
2004
Springer
14 years 1 months ago
A Model-based Ontology of the Software Interoperability Problem: Preliminary Results
Interoperability usually refers to software system communication. Although there is no widely accepted definition, and therefore no common understanding of the context, there are m...
Vincent Rosener, Thibaud Latour, Eric Dubois
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
14 years 1 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
EUROMICRO
1999
IEEE
14 years 8 days ago
Processing Requirements by Software Configuration Management
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
Ivica Crnkovic, Peter J. Funk, Magnus Larsson
WWW
2004
ACM
14 years 8 months ago
An efficient and systematic method to generate xslt stylesheets for different wireless pervasive devices
It is a tedious and cumbersome process to update directly a WML document for the wireless Web because its content composes of both data and presentation. Thus, XML is used to hand...
Thomas Kwok, Thao Nguyen, Linh Lam, Kakan Roy
PKDD
2004
Springer
199views Data Mining» more  PKDD 2004»
14 years 1 months ago
SemanticTalk: Software for Visualizing Brainstorming Sessions and Thematic Concept Trails on Document Collections
Abstract: In this demonstration we introduce a technology to support knowledge structuring processes already at the time of their creation by building up concept structures in real...
Christian Biemann, Karsten Böhm, Gerhard Heye...