Sciweavers

2765 search results - page 308 / 553
» Works and representation
Sort
View
SEKE
2005
Springer
16 years 4 days ago
Institution Morphisms for Relating OWL and Z
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 4 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
ICWE
2004
Springer
16 years 1 days ago
MDA applied: From Sequence Diagrams to Web Service Choreography
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
Bernhard Bauer, Jörg P. Müller
PKDD
2004
Springer
118views Data Mining» more  PKDD 2004»
16 years 12 hour ago
Mining Thick Skylines over Large Databases
Abstract. People recently are interested in a new operator, called skyline [3], which returns the objects that are not dominated by any other objects with regard to certain measure...
Wen Jin, Jiawei Han, Martin Ester
APSEC
2003
IEEE
15 years 12 months ago
An Extensible Framework for Collaborative Software Engineering
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
Carl Cook, Neville Churcher