Sciweavers

351 search results - page 60 / 71
» Prototyping a Visual Formalism for System Modelling
Sort
View
DBPL
2007
Springer
75views Database» more  DBPL 2007»
14 years 2 months ago
Querying Structural and Behavioral Properties of Business Processes
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...
Daniel Deutch, Tova Milo
COSIT
1997
Springer
115views GIS» more  COSIT 1997»
14 years 23 days ago
Qualitative Representation of Change
Current geographic information systems (GISs) have been designed for querying and maintaining static databases representing static phenomena and give little support to those users ...
Kathleen Hornsby, Max J. Egenhofer
CDVE
2007
Springer
218views Visualization» more  CDVE 2007»
14 years 2 months ago
Web-Based Engineering Portal for Collaborative Product Development
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
Shuangxi Huang, Yushun Fan
DEBU
2008
100views more  DEBU 2008»
13 years 8 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu
SIGSOFT
2007
ACM
14 years 9 months ago
Symbolic message sequence charts
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta