Sciweavers

11 search results - page 2 / 3
» A New Application of Domain Specific Modeling Towards Implem...
Sort
View
ICSE
2008
IEEE-ACM
14 years 5 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
WWW
2003
ACM
14 years 5 months ago
Offering open hypermedia services to the WWW: a step-by-step approach for developers
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial...
Nikos Karousos, Ippokratis Pandis, Siegfried Reich...
PVLDB
2008
134views more  PVLDB 2008»
13 years 3 months ago
Evita raced: metacompilation for declarative networks
Declarative languages have recently been proposed for many new applications outside of traditional data management. Since these are relatively early research efforts, it is import...
Tyson Condie, David Chu, Joseph M. Hellerstein, Pe...
AAAI
2000
13 years 5 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...
IADIS
2003
13 years 5 months ago
Paradigm Shifts and Business Processes: A Case Study
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
Paul Maclear, Paul Darbyshire