Sciweavers

681 search results - page 97 / 137
» An Assembly Process Model for Method Engineering
Sort
View
112
Voted
ISSTA
2009
ACM
15 years 9 months ago
Analyzing singularity channel contracts
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
Zachary Stengel, Tevfik Bultan
110
Voted
ICFEM
2005
Springer
15 years 8 months ago
Visualizing and Simulating Semantic Web Services Ontologies
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun
140
Voted
FASE
2008
Springer
15 years 4 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
126
Voted
WSCG
2000
131views more  WSCG 2000»
15 years 4 months ago
Dynamic Animation of N-Dimensional Deformable Objects
This paper presents a new, accurate, efficient and unified method for dynamic animation of one, two or three-dimensional deformable objects. The objects are modelled as d-dimensio...
Yannick Rémion, Jean-Michel Nourrit, Olivie...
101
Voted
IAAI
1993
15 years 4 months ago
ESDS: Materials Technology Knowledge Bases Supporting Design of Boeing Jetliners
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
Mark A. Dahl